[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