[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