[cvs-nhc98] patch applied (hat): Fix ' variable not in scope' but in trusted transformation.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:20:50 EDT 2006


Wed Aug  7 07:16:32 PDT 2002  olaf
  * Fix 'variable not in scope' but in trusted transformation.
  
  The subexpressions of field update were always translated as untrusted. In particular this meant that source references were used. Now these subexpressions are translated as trusted, if the module is trusted.

    M ./src/hattrans/TraceTrans.hs -2 +2


More information about the Cvs-nhc98 mailing list