October 2006 - Cvs-nhc98

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

patch applied (hat): Multiple definitions of a CAF should be an error.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 13 06:01:06 PST 2001 malcolm * Multiple definitions of a CAF should be an error. This fix, when grouping function clauses together, ensures that separate clauses of a CAF are never grouped. Hence, the multiple definition can be detected later. M ./src/compiler98/Rename.hs -8 +9

1 0

patch applied (hat): Do not treat `qualified' , `hiding' , and `interface' as keywords.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Nov 12 06:50:27 PST 2001 malcolm * Do not treat `qualified', `hiding', and `interface' as keywords. M ./src/compiler98/Lex.hs -27 +27 M ./src/compiler98/LexLow.hs -5 +5 M ./src/compiler98/Lexical.hs -1 +1 M ./src/compiler98/Parse2.hs -3 +3 M ./src/compiler98/ParseI.hs -5 +5 M ./src/compiler98/ParseLex.hs -2 +6 M ./src/compiler98/TokenId.hs +3

1 0

[cvs-nhc98] patch applied (hat): - speed up for " detect.c" : now worst case O(n) complexity (before O(n*n))
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Nov 9 13:06:46 PST 2001 thorsten * - speed up for "detect.c": now worst case O(n) complexity (before O(n*n)) - refix lost ability to lift EDT children of trusted equations. M ./src/hattools/HatDetect.hs -1 +1 M ./src/hattools/HatObserve.hs -2 +6 M ./src/hattools/HatTrace.gc -15 +5 M ./src/hattools/Hatdetect.hs -1 +1 M ./src/hattools/Hatobserve.hs -2 +6 M ./src/hattools/detect.c -11 +21 M ./src/hattools/hashtable.c +12 M ./src/hattools/hatinterface.c +47 M ./src/hattools/hatinterface.h +2

1 0

patch applied (hat): Source CC variable from config, for those platforms where gcc is
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Nov 9 09:11:27 PST 2001 malcolm * Source CC variable from config, for those platforms where gcc is named cc. M ./Makefile.inc -3 +3

1 0