[cvs-nhc98] patch applied (hat): Partial fix for a hat-observe
pattern involving infix constructors.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:33:52 EDT 2006
Wed May 24 05:54:18 PDT 2006 malcolm
* Partial fix for a hat-observe pattern involving infix constructors.
Chained constructors like (_ :- _ :+ _ :* _) previously matched only on
the first constructor (giving lots of false positives). Now the
constructors are treated as left assocative, with equal precedence,
which does the right thing for normal lists at least. (A full solution
using known fixities from the trace file would be hugely more complex.)
M ./src/hattools/Pattern.hs -4 +7
More information about the Cvs-nhc98
mailing list