October 2006 - Cvs-nhc98

patch applied (hat): Hat: On normal exit, use longjmp rather than explicit call of haskellEnd().
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 30 05:06:02 PST 2001 malcolm * Hat: On normal exit, use longjmp rather than explicit call of haskellEnd(). M ./src/old/runtime/io.c -2 +18

1 0

patch applied (hat): Extra comma in import list is not legal Haskell' 98.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 29 13:21:23 PST 2001 malcolm * Extra comma in import list is not legal Haskell'98. M ./src/compiler98/DbgTrans.hs -2 +2

1 0

patch applied (hat): Add an FFI version of cHPutChar (for tracing).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 29 12:57:03 PST 2001 malcolm * Add an FFI version of cHPutChar (for tracing). M ./src/old/runtime/io.c +10

1 0

patch applied (hat): Improve infix notation in hat-stack output.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 29 09:43:01 PST 2001 malcolm * Improve infix notation in hat-stack output. M ./src/hattools/hat-stack.c -4 +4 M ./src/hattools/utils.c -13 +73 M ./src/hattools/utils.h -1 +11

1 0

patch applied (hat): Minor tidy-up to columns in hat-check output.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 29 09:42:31 PST 2001 malcolm * Minor tidy-up to columns in hat-check output. M ./src/hattools/hat-check.c -11 +11

1 0

patch applied (hat): Modified combinators and also slightly the transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 28 10:33:56 PST 2001 olaf * Modified combinators and also slightly the transformation. Moved introduction of Sat's from functions side (fun?, prim?) to application side (ap?, rap?). - Removes previous bug that transformed program was too eager, e.g. in (True || h True) the application of h was evaluated. - Creation of Sat and App? trace nodes now next to each other. Integration of writing a Sat and an App? now straightforward. - Subsequent RHS-optimisation possible. Corrected bug in transformation of let. Expression after in is only in projective context if whole let is in projective context. This bug could lead to missing Hidden node in trusted code and too eager evaluation when the RHS-optimisation is used. Introduced separate combinator trif for if in projective context. The use of original tif could lead to too eager evaluation (never observed) and this would have become worse with the RHS-optimisation. RHS-optimisation: If an application (or if) is in projective context, then it doesn't need a Sat, because the application node only serves as a parent, but is never pointed to from an App? as an argument. So modified rap? and trif to not produce Sats. This halfs the number of SatCs and reduces runtime by ~10%. M ./src/compiler98/DbgId.hs -2 +4 M ./src/compiler98/DbgTrans.hs -4 +4

1 0

patch applied (hat): Added -r option to report statistics about reachable nodes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 28 08:58:07 PST 2001 colin * Added -r option to report statistics about reachable nodes. M ./src/hattools/hat-check.c -173 +386

1 0

patch applied (hat): Make arg of hat-check consistent with other hat programs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 28 07:23:54 PST 2001 malcolm * Make arg of hat-check consistent with other hat programs. The main argument of hat-check should be a program name without a ".hat" extension, just like the other hat programs. M ./src/hattools/hat-check.c -4 +7

1 0

patch applied (hat): Introduced new combinator conCons to make transformed string literals shorter.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 27 03:22:16 PST 2001 olaf * Introduced new combinator conCons to make transformed string literals shorter. The new tracing code for literal strings is a bit smaller. It also shares all uses of the (:) in a string. To improve it further, we would need to be able to use the tranformed list type and the untransformed one together in a combinator. M ./src/compiler98/DbgId.hs -1 +3 M ./src/compiler98/DbgTrans.hs -13 +36

1 0

patch applied (hat): Fixed transformation of default methods.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 26 08:27:20 PST 2001 olaf * Fixed transformation of default methods. A missing default method lead to a corrupted trace file and sometimes even a segmentation fault. The problem was that the call to `fatal' was not wrapped within an R. Furthermore the error message "No match in pattern." was rather misleading. Now transform default method like any other function definition. The error message which has been introduced by the renamer is transformed like a normal expression. Changed renamer so that this compiler introduced expression has no source positions. So the explicit call of error is visible in the trace, but the browser user cannot ask for the source position. M ./src/compiler98/DbgTrans.hs +16 M ./src/compiler98/IntState.hs -2 +31 M ./src/compiler98/Rename.hs -1 +2

1 0