May 2006 - Cvs-nhc98 - Haskell.org

cvs commit: hat/src/hattools observeutils.c
by Malcolm Wallace 24 May '06

24 May '06

malcolm 2006/05/24 06:14:22 PDT Modified files: src/hattools observeutils.c Log: 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. Revision Changes Path 1.47 +12 -4 hat/src/hattools/observeutils.c

1 0

cvs commit: hat/src/hattools Pattern.hs
by Malcolm Wallace 24 May '06

24 May '06

malcolm 2006/05/24 05:54:18 PDT Modified files: src/hattools Pattern.hs Log: 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.) Revision Changes Path 1.15 +7 -4 hat/src/hattools/Pattern.hs

1 0

cvs commit: hat/src/hattools Pattern.hs
by Malcolm Wallace 23 May '06

23 May '06

malcolm 2006/05/23 03:30:12 PDT Modified files: src/hattools Pattern.hs Log: 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. Revision Changes Path 1.14 +27 -3 hat/src/hattools/Pattern.hs

1 0

cvs commit: hat/src/hattools Pattern.hs
by Malcolm Wallace 22 May '06

22 May '06

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

1 0

cvs commit: hat/src/hattools Pattern.hs
by Malcolm Wallace 18 May '06

18 May '06

malcolm 2006/05/18 05:50:20 PDT Modified files: src/hattools Pattern.hs Log: Fix bug whereby (C _) was lexed incorrectly (underscore became an ident). Revision Changes Path 1.12 +1 -1 hat/src/hattools/Pattern.hs

1 0

cvs commit: hat/src/hattools Makefile
by Malcolm Wallace 11 May '06

11 May '06

malcolm 2006/05/11 02:52:19 PDT Modified files: src/hattools Makefile Log: Pass $(BUILDOPTS) through to the tools build. Revision Changes Path 1.97 +3 -3 hat/src/hattools/Makefile

1 0

cvs commit: hat/src/hattrans AuxFixity.hs
by Malcolm Wallace 09 May '06

09 May '06

malcolm 2006/05/09 10:09:28 PDT Modified files: src/hattrans AuxFixity.hs Log: 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. Revision Changes Path 1.16 +8 -8 hat/src/hattrans/AuxFixity.hs

1 0

cvs commit: hat/docs status.html
by Malcolm Wallace 09 May '06

09 May '06

malcolm 2006/05/09 07:04:05 PDT Modified files: docs status.html Log: Note bugfixes and improvements since last release. Revision Changes Path 1.12 +18 -0 hat/docs/status.html

1 0

cvs commit: hat/src/hattrans AuxFixity.hs
by Malcolm Wallace 09 May '06

09 May '06

malcolm 2006/05/09 06:04:17 PDT Modified files: src/hattrans AuxFixity.hs Log: A better bugfix for expressions like (-x+y+z). Revision Changes Path 1.15 +7 -7 hat/src/hattrans/AuxFixity.hs

1 0

cvs commit: hat/src/hattools hat-check.c
by O.Chitil＠kent.ac.uk 09 May '06

09 May '06

olaf 2006/05/09 03:28:29 PDT Modified files: src/hattools hat-check.c Log: Implemented reading of Float and Double values properly in hat-check, so that they show the right values. These are stored in native C representation in the file. Note that although the trace file uses network byte order for offsets, it mostly uses C representations for data anyway, assuming e.g. that sizeof(char)==1 and sizeof(long int)==4. Should make all these assumptions explicit and put them in one C file. Revision Changes Path 1.30 +26 -4 hat/src/hattools/hat-check.c

1 0