October 2006 - Cvs-nhc98

patch applied (hat): Portable tracing: catch runtime errors as far as possible.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 10:14:39 PST 2002 olaf * Portable tracing: catch runtime errors as far as possible. Errors used to cause abortion of the traced program without the trace file being properly finished (stack in memory flushed and error message and entry point written to trace). Pattern match failure had always been caught correctly and interruption by Control C was assured by a previous modification. Now calls of Prelude.error finalise the trace correctly (the implementation of error is special, in PreludeBuiltinTypes). Also the whole traced program is surrounded by a "catch" which finalises the trace for all caught exceptions. Unfortunately there are still errors which do not rise an exception (e.g. arithmetic errors and call of "error" in primtive code in ghc). Which errors are not caught and hence lead to an incomplete trace (no error message and many arguments seem not to be evaluated) depends on the Haskell compiler. M ./src/hatlib/Hat.hs -2 +20 M ./src/hatlib/PreludeBuiltin.hs -7 M ./src/hatlib/PreludeBuiltinTypes.hx +1 M ./src/hatlib/TPreludeBuiltinTypes.hs +10 M ./src/hatlib/hat-c.c -6 +5 M ./src/hatlib/hat-c.h -1 +1

1 0

patch applied (hat): Remove " Program exited normally" runtime message.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 06:09:37 PST 2002 malcolm * Remove "Program exited normally" runtime message. M ./src/old/runtime/io.c -1 +1

1 0

patch applied (hat): Add full dependencies for building hatlib from scratch.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 05:47:10 PST 2002 malcolm * Add full dependencies for building hatlib from scratch. M ./src/hatlib/Makefile -13 +33

1 0

patch applied (hat): Portable Tracing: forgot to commit this file.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 05:42:32 PST 2002 olaf * Portable Tracing: forgot to commit this file. A ./src/hatlib/List.hs

1 0

patch applied (hat): Remove text which claims that the portable transformation with GHC
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 04:18:15 PST 2002 malcolm * Remove text which claims that the portable transformation with GHC is more restricted than the builtin nhc98 transformation. M ./docs/hatuser.tex -8 +4

1 0

patch applied (hat): The sense of verbose mode was incorrectly swapped for unevaluated
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 04:10:22 PST 2002 malcolm * The sense of verbose mode was incorrectly swapped for unevaluated (SatA) expressions. M ./src/hattools/SExp.hs -24 +8

1 0

patch applied (hat): Ignore errors from glib-config.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 04:09:04 PST 2002 malcolm * Ignore errors from glib-config. M ./src/hattools/Makefile -1 +1

1 0

[cvs-nhc98] patch applied (hat): Another fix to ensure we get " redex = _|_" in hat-trail in all cases
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 04:08:34 PST 2002 malcolm * Another fix to ensure we get "redex = _|_" in hat-trail in all cases where it is appropriate. (Previously, a SatA resulted in "no rhs found", but a SatB in _|_; make them the same.) M ./src/hattools/HatTrail.hs -12 +13 M ./src/hattools/utils.c -2 +2

1 0

patch applied (hat): Portable Tracing: forgot to commit small changes in transformation
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 14 04:02:38 PST 2002 olaf * Portable Tracing: forgot to commit small changes in transformation for the standard libraries. (Aux files of the form TraceOrig*.hx are no longer required with -prelude.) M ./src/compiler98/AuxFile.hs -2 +5 M ./src/compiler98/TraceTrans.hs -4 +7 M ./src/hattrans/AuxFile.hs -2 +5 M ./src/hattrans/TraceTrans.hs -4 +7

1 0

patch applied (hat): Portable Tracing: enable recording of file writing in trace output.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 13 10:07:10 PST 2002 olaf * Portable Tracing: enable recording of file writing in trace output. Also ensure that interruption of traced program with Control C works. (Probably did already before). Unfortunately some runtime errors such as division by 0 are still not caught. A ./src/hatlib/CPUTime.hs A ./src/hatlib/Directory.hs A ./src/hatlib/DirectoryBuiltin.hx A ./src/hatlib/DirectoryBuiltinTypes.hs M ./src/hatlib/Hat.hs -3 +58 M ./src/hatlib/IO.hs -2 +2 A ./src/hatlib/Locale.hs M ./src/hatlib/Makefile -3 +14 M ./src/hatlib/PreludeBasic.hs +1 M ./src/hatlib/PreludeBuiltin.hs -2 +2 A ./src/hatlib/Random.hs A ./src/hatlib/RandomBuiltin.hx A ./src/hatlib/System.hs A ./src/hatlib/SystemBuiltin.hx A ./src/hatlib/SystemBuiltinTypes.hs A ./src/hatlib/TDirectoryBuiltin.hs M ./src/hatlib/TIOBuiltin.hs -2 +2 M ./src/hatlib/TPreludeBuiltinTypes.hs -1 +1 A ./src/hatlib/TRandomBuiltin.hs A ./src/hatlib/TSystemBuiltin.hs A ./src/hatlib/TTimeBuiltin.hs A ./src/hatlib/Time.hs A ./src/hatlib/TimeBuiltin.hx A ./src/hatlib/TimeBuiltinTypes.hs R ./src/hatlib/TraceOrigChar.hx R ./src/hatlib/TraceOrigPrelude.hx M ./src/hatlib/hat-c.c -3 +12 M ./src/hatlib/hat-c.h +1

1 0