patch applied (hat): n+k patterns can now be traced (by hat-trans).
10 Oct
2006
10 Oct
'06
1:12 p.m.
Fri Jan 25 08:45:19 PST 2002 olaf * n+k patterns can now be traced (by hat-trans). Similar to constant numbers a bogus guard is introduced, additionally here a binding of n to argument minus k. There is a slightly unfortunate interaction with projections: f (n+1) = n is a projection. Hence if e.g. 2 is the result, its parent is f 3, but the subtraction 3-1 is unreachable. M ./src/compiler98/AuxFile.hs -1 +1 M ./src/compiler98/Syntax.hs -1 +1 M ./src/compiler98/TokenId.hs +1 M ./src/compiler98/TraceId.hs -2 +8 M ./src/compiler98/TraceTrans.hs -40 +69 M ./src/hattrans/AuxFile.hs -1 +1 M ./src/hattrans/TraceId.hs -2 +8 M ./src/hattrans/TraceTrans.hs -40 +69
7021
Age (days ago)
7021
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace