- Cvs-nhc98 - Haskell.org

patch applied (hat): TPrelude.o depends on Hat.o.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 20 03:41:19 PST 2001 malcolm * TPrelude.o depends on Hat.o. M ./src/hatlib/Makefile -1 +1

1 0

patch applied (hat): In portable Hat module, change PackedString to CString for all FFI operations.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 20 03:39:49 PST 2001 malcolm * In portable Hat module, change PackedString to CString for all FFI operations. M ./src/hatlib/Hat.hs -13 +19

1 0

patch applied (hat): Update documentation how to switch debugging tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun Nov 18 10:04:22 PST 2001 thorsten * Update documentation how to switch debugging tools. M ./docs/hatuser.tex -17 +17

1 0

patch applied (hat): Introduce uniform commands for switching debugging tools:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun Nov 18 10:03:37 PST 2001 thorsten * Introduce uniform commands for switching debugging tools: "observe", "trail" and "debug" for the Observational Debugger, Redex-Trail browser and Algorithmic Debugger respectively. M ./src/hattools/HatDetect.hs -3 +3 M ./src/hattools/HatObserve.hs -5 +48 M ./src/hattools/Hatdetect.hs -3 +3 M ./src/hattools/Hatobserve.hs -5 +48

1 0

patch applied (hat): Use prefix `!' instead of `-' for transformed operators.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Nov 15 11:24:55 PST 2001 olaf * Use prefix `!' instead of `-' for transformed operators. Otherwise prefixing of `-' yields the beginning of a comment `--'. M ./src/compiler98/TraceTrans.hs -1 +1 M ./src/hattrans/TraceTrans.hs -1 +1

1 0

patch applied (hat): show of literals used to suffix integers with letter `L' .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Nov 15 11:23:36 PST 2001 olaf * show of literals used to suffix integers with letter `L'. Removed that `L', because with it pretty printed programs are not Haskell. M ./src/compiler98/Syntax.hs -1 +1

1 0

patch applied (hat): A preliminary version of the Prelude, collected into a single file,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Nov 15 10:45:35 PST 2001 malcolm * A preliminary version of the Prelude, collected into a single file, ready for testing the Hat src->src transformation. Everything which is not implementable in Haskell is listed in Primitives.hs, and will need some sort of hand-written wrapper. A ./src/hatlib/Primitives.hs

1 0

patch applied (hat): - " re" fix EDT algorithm to treat IFs,GUARDs,CASEs and LAMBDAs correctly
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Nov 14 11:54:23 PST 2001 thorsten * - "re"fix EDT algorithm to treat IFs,GUARDs,CASEs and LAMBDAs correctly M ./src/hattools/detect.c -2 +2 M ./src/hattools/hatinterface.c -2 +2 M ./src/hattools/hatinterface.h -1 +1

1 0

patch applied (hat): Portable version:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 13 06:28:40 PST 2001 olaf * Portable version: Introduced type constructor Fun (newtype) that replaces -> in transformed code. Thus (->) can be used in traced programs with less than two arguments; also transformation of types is neater. Also removed use of rap? combinators for the time being. rap? combinators implement an optimisation that avoids some Sats. However, keeping these combinators up to date with coming changes is work. Furthermore, this optimisation makes it impossible to find all EDT children in aborted computations; note that more changes are necessary to enable finding of EDT children in aborted computations. M ./src/compiler98/TraceTrans.hs -7 +10 M ./src/hatlib/Hat.hs -582 +593 M ./src/hatlib/Makefile -1 +1 M ./src/hatlib/TPrelude.hs -17 +6 M ./src/hattrans/TraceTrans.hs -7 +10

1 0

patch applied (hat): Bugfix for strict datatypes in the (old) tracing transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 13 06:18:15 PST 2001 malcolm * Bugfix for strict datatypes in the (old) tracing transformation. Previously, a type like data AB a = C !a !a was transformed to data AB a = C (R !a) (R !a) This type is incorrect, but appeared in interface files nevertheless, whence it could not be parsed back in. This fix makes the transformation produce the type data AB a = C !(R a) !(R a) which is also somewhat incorrect (or misleading) but is actually parsable. M ./src/compiler98/DbgDataTrans.hs -1 +4

1 0