[cvs-nhc98] patch applied (hat): Introduce Sat for outermost
application on rhs of pattern binding.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:03:48 EDT 2006
Fri Apr 27 02:53:55 PDT 2001 olaf
* Introduce Sat for outermost application on rhs of pattern binding.
The outermost application on a rhs usually doesn't have a Sat, because the result equals the result of the parent, which is the lhs. However, for pattern bindings the lhs is not the parent. So hat-observe needs the Sat in that case.
If the rhs of a pattern binding is a single lambda-bound variable, we no longer create an indirection. However, this indirection seems pretty pointless anyway, the parent of the variable value is probably more interesting.
Increases Mate trace file by 0.02%.
M ./src/compiler98/DbgTrans.hs -17 +15
More information about the Cvs-nhc98
mailing list