[cvs-nhc98] Hat-trans: corrected numeric patterns (k and n+k).

User olaf olaf@sparud.net
Fri, 7 Jun 2002 18:20:47 +0200 (CEST)


olaf: Fri Jun  7 18:20:47 CEST 2002

Update of /usr/src/master/nhc/src/compiler98
In directory hinken:/tmp/cvs-serv5310/src/compiler98

Modified Files:
	AuxFile.hs TraceTrans.hs 
Log Message:
Hat-trans: corrected numeric patterns (k and n+k).

Previously definitions such as
  f 1 True = ...
were transformed incorrectly, the equality test with 1 was performed after matching True. Now the transformation adheres to left to right pattern matching.
Previously n+k patterns did not work at all, because the n was incorrectly treated as a lambda bound variable.
For definitions with numeric patterns the transformation produces pretty large code.

Also slightly simplified output in general, in that all parent variables are simply named "p". Scoping assures that always the correct parent is used.