[cvs-nhc98] patch applied (hat): As proposed by Malcolm,
corrected wrong transformation of pattern bindings.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:31:48 EDT 2006
Mon Jul 4 06:48:33 PDT 2005 olaf
* As proposed by Malcolm, corrected wrong transformation of pattern bindings.
A top-level pattern binding
Just x = undefined
produced the wrapper function
gx px T.mkRoot = T.constUse px T.mkRoot sx
The qualified variable T.mkRoot is nonsense.
Correct is:
gx px p = T.constUse px p sx
Also introduced a function mkParentVar to generate the variable "p" with different positions.
M ./src/hattrans/TraceTrans.hs -9 +12
More information about the Cvs-nhc98
mailing list