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

[User olaf]

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.