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