[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