October 2006 - Cvs-nhc98

patch applied (hat): In pattern lexing, should accept _ and ' as part of an identifier.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 3 03:43:08 PDT 2002 malcolm * In pattern lexing, should accept _ and ' as part of an identifier. M ./src/hattools/Pattern.hs -7 +6

1 0

patch applied (hat): Fix incorrect (cyclic) display of (non-cyclic) partial structures,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 3 03:18:58 PDT 2002 malcolm * Fix incorrect (cyclic) display of (non-cyclic) partial structures, typically lists. If the unevaluated part of the structure is an ExpForward pointer to a Hidden, then we should stop at the next Hidden, not clear the Hidden-detection flag. M ./src/hattools/artutils.c +2

1 0

patch applied (hat): Re-introduce pattern queries in hat-observe. There is now a proper
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 2 12:26:06 PDT 2002 malcolm * Re-introduce pattern queries in hat-observe. There is now a proper lexer and (combinator) parser for patterns, and it can deal with infix constructors/variables using the normal Haskell syntax. The only caveat with infix patterns is that fixity is not known, so the user must parenthesise them explicitly. M ./src/hattools/HatObserve.hs -66 +70 M ./src/hattools/Makefile -1 +1 A ./src/hattools/ParseLib.hs A ./src/hattools/Pattern.hs M ./src/hattools/SExp.hs -1 +5

1 0

patch applied (hat): Solve the problem that _ did not expand in verbose mode, and _|_ and
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 2 03:08:19 PDT 2002 malcolm * Solve the problem that _ did not expand in verbose mode, and _|_ and ^C had no parent. Basically, we followed the result chain pointer too far. Now, the getResult() routine stops at the last expression before the _, ^C, or _|_, and the pretty-printer must take a quick look (peekResult()) down one link of the chain to decide how to display the expression. M ./src/hattools/HatObserve.hs -2 +2 M ./src/hattools/HatTrail.hs -20 +34 M ./src/hattools/LowLevel.hs +6 M ./src/hattools/SExp.hs -25 +30 M ./src/hattools/artutils.c -6 +85 M ./src/hattools/artutils.h +1

1 0

patch applied (hat): Turn off the behaviour of hat-observe whereby a functional CAF
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 10:29:22 PDT 2002 malcolm * Turn off the behaviour of hat-observe whereby a functional CAF could be observed in over-saturated applications. M ./src/hattools/observeutils.c -1 +1

1 0

patch applied (hat): Fix bug where hat-observe started remotely from another tool did not
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 10:28:06 PDT 2002 malcolm * Fix bug where hat-observe started remotely from another tool did not display any equations. M ./src/hattools/HatObserve.hs -7 +11

1 0

patch applied (hat): Modifyied both nhc98 runtime system and hat library to catch runtime errors.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 09:06:23 PDT 2002 olaf * Modifyied both nhc98 runtime system and hat library to catch runtime errors. The nhc98 runtime system now has the global variable void (*haskellErrorHandler)(char *errorMsg) = NULL; If it is not null, it will be called for runtime errors that are not handled by Haskell's "error"; i.e. currently "out of heap" and "black hole". The hat_open function sets haskellErrorHandler to an appropriate function that writes the error message to the trace and closes it. (only if compiled for nhc98) Also added handling of arithmetic error signals to the hat library. M ./src/hatlib/Hat.hs -8 +8 M ./src/hatlib/Makefile -1 +3 M ./src/hatlib/hat-c.c -21 +49 M ./src/hatlib/hat-c.h -6 +8

1 0

patch applied (hat): Show unique equations by default.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 06:54:12 PDT 2002 malcolm * Show unique equations by default. M ./src/hattools/HatObserve.hs -1 +1

1 0

patch applied (hat): In the basic Hat C routines:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 06:51:58 PDT 2002 malcolm * In the basic Hat C routines: * Use the ErrorMessage pointer in the .hat header to distinguish between _|_ and ^C. * Open the .hat.bridge file at the same time as the .hat file, and add error checking on the header, filesize, etc. * Fix a couple of bugs where routines forgot to check for a FileOffset in the range 0-4 (Root..Lambda) M ./src/hattools/artutils.c -12 +54

1 0

patch applied (hat): Remove option to ignore cycles. Add a missing eqn for `label' .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 1 06:41:20 PDT 2002 malcolm * Remove option to ignore cycles. Add a missing eqn for `label'. Highlight an SInterrupted node (^C) in blue. M ./src/hattools/SExp.hs -13 +12

1 0