[cvs-nhc98] n+k patterns can now be traced (by hat-trans).

olaf: Fri Jan 25 17:45:20 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv26568/src/compiler98 Modified Files: AuxFile.hs Syntax.hs TokenId.hs TraceId.hs TraceTrans.hs Log Message: 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.