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

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:18:36 EDT 2006


Fri Jun  7 09:20:47 PDT 2002  olaf
  * 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.

    M ./src/compiler98/AuxFile.hs -1 +5
    M ./src/compiler98/TraceTrans.hs -38 +200
    M ./src/hattrans/AuxFile.hs -1 +5
    M ./src/hattrans/TraceTrans.hs -38 +200


More information about the Cvs-nhc98 mailing list