[cvs-nhc98] patch applied (hat): Fix two small bugs in hat-observe.
Positional constructor patterns that
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:33:49 EDT 2006
Mon May 22 08:28:25 PDT 2006 malcolm
* Fix two small bugs in hat-observe. Positional constructor patterns that
match named-field expressions in the trace came up with both false
positives and false negatives. However, this fix is still not entirely
satisfactory, since (a) it only allows matching if the positional
pattern is in the same order as the named field update expression; and
(b) there is still no way to specify a named-field pattern.
M ./src/hattools/Pattern.hs -1 +4
More information about the Cvs-nhc98
mailing list