[cvs-nhc98] cvs commit: hat/src/hattrans TraceTrans.hs

olaf at haskell.org olaf at haskell.org
Mon Jul 4 09:48:34 EDT 2005


olaf        2005/07/04 06:48:34 PDT

  Modified files:
    src/hattrans         TraceTrans.hs 
  Log:
  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.
  
  Revision  Changes    Path
  1.74      +12 -9     hat/src/hattrans/TraceTrans.hs


More information about the Cvs-nhc98 mailing list