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

[Malcolm Wallace]

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