[cvs-nhc98] cvs commit: hat/src/hattools Pattern.hs

[Malcolm Wallace]

malcolm     2006/05/22 08:28:25 PDT

  Modified files:
    src/hattools         Pattern.hs 
  Log:
  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.
  
  Revision  Changes    Path
  1.13      +4 -1      hat/src/hattools/Pattern.hs