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