October 2006 - Cvs-nhc98

patch applied (hat): Fix two configuration bugs for ghc> =6.5. The symbol 604 is too
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jun 5 05:44:39 PDT 2006 malcolm * Fix two configuration bugs for ghc>=6.5. The symbol 604 is too specific, so assume that the 6.x series is the default these days, making 5.04 the special case. Also, the modules from the MTL package now require -fallow-undecidable-instances. M ./src/hatlib/Makefile -15 +5

1 0

patch applied (hat): Bug fix for hat-observe pattern involving a data constructor in a
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 24 06:14:22 PDT 2006 malcolm * Bug fix for hat-observe pattern involving a data constructor in a calling context, e.g. "(_:_) in fun". Previously we failed to check the context, and returned all matching values regardless of parent. M ./src/hattools/observeutils.c -4 +12

1 0

patch applied (hat): Partial fix for a hat-observe pattern involving infix constructors.
by Malcolm Wallace 10 Oct '06

10 Oct '06

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

1 0

patch applied (hat): Accept named-field patterns on the hat-observe command-line. These will
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 23 03:30:12 PDT 2006 malcolm * Accept named-field patterns on the hat-observe command-line. These will only match candidate expressions in the trace that were explicitly constructed with fields, not those that were constructed positionally. M ./src/hattools/Pattern.hs -3 +27

1 0

patch applied (hat): Fix two small bugs in hat-observe. Positional constructor patterns that
by Malcolm Wallace 10 Oct '06

10 Oct '06

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

1 0

patch applied (hat): Fix bug whereby (C _) was lexed incorrectly (underscore became an ident).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 18 05:50:20 PDT 2006 malcolm * Fix bug whereby (C _) was lexed incorrectly (underscore became an ident). M ./src/hattools/Pattern.hs -1 +1

1 0

patch applied (hat): Pass $(BUILDOPTS) through to the tools build.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 11 02:52:19 PDT 2006 malcolm * Pass $(BUILDOPTS) through to the tools build. M ./src/hattools/Makefile -3 +3

1 0

patch applied (hat): Previous fix caused unforeseen problems with transforming the Prelude.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 9 10:09:28 PDT 2006 malcolm * Previous fix caused unforeseen problems with transforming the Prelude. This new more minimal fix seems to do the resolution of (-x+y) properly, and without knock-on problems. M ./src/hattrans/AuxFixity.hs -8 +8

1 0

patch applied (hat): Note bugfixes and improvements since last release.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 9 07:04:05 PDT 2006 malcolm * Note bugfixes and improvements since last release. M ./docs/status.html +18

1 0

patch applied (hat): A better bugfix for expressions like (-x+y+z).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 9 06:04:17 PDT 2006 malcolm * A better bugfix for expressions like (-x+y+z). M ./src/hattrans/AuxFixity.hs -7 +7

1 0