October 2006 - Cvs-nhc98

patch applied (hat): Remove extraneous comma in export list.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 10:48:14 PST 2002 malcolm * Remove extraneous comma in export list. M ./src/hatlib/PreludeBuiltin.hs -1 +1

1 0

patch applied (hat): Made -prelude option of hat-trans work.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 10:22:57 PST 2002 olaf * Made -prelude option of hat-trans work. Before -prelude the /include/Prelude.hx was always used; the entries of which are not even all correct for this portable Prelude. Added all the primitive predefined types (Bool, tuples) to PreludeBuiltinTypes.hx. Also added the tuples to export lists of PreludeBasic.hs and PreludeTracing.hs. Changed working of -prelude. Implicit import of Prelude is now handled by HatTrans.hs. That avoids unnecessary duplication. Corrected export of show in PreludeTracing.hs M ./src/compiler98/AuxFile.hs -7 +2 M ./src/compiler98/HatTrans.hs -1 +15 M ./src/compiler98/PrettySyntax.hs -1 +1 M ./src/compiler98/Syntax.hs +12 M ./src/compiler98/TraceTrans.hs -22 +1 M ./src/hatlib/Makefile +1 M ./src/hatlib/Prelude.hs -5 +8 M ./src/hatlib/PreludeBasic.hs -1 +1 M ./src/hatlib/PreludeBuiltin.hs +6 M ./src/hatlib/PreludeBuiltinTypes.hx +17 M ./src/hattrans/AuxFile.hs -7 +2 M ./src/hattrans/HatTrans.hs -1 +15 M ./src/hattrans/TraceTrans.hs -22 +1

1 0

patch applied (hat): At last, a working Makefile for portable Hat (I hope).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 10:14:26 PST 2002 malcolm * At last, a working Makefile for portable Hat (I hope). M ./src/hatlib/Makefile -31 +60

1 0

patch applied (hat): Reformat to 80-columns, and tidy up some layout, especially the
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 07:18:46 PST 2002 malcolm * Reformat to 80-columns, and tidy up some layout, especially the combination of `do' blocks and if-then-else. M ./src/hattools/HatExpressionTree.hs -197 +238 M ./src/hattools/HatObserve.hs -463 +413 M ./src/hattools/HatTrace.gc -113 +127 M ./src/hattools/Hatobserve.hs -463 +413

1 0

patch applied (hat): Some steps towards a working Makefile for `portable Hat' .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 07:12:49 PST 2002 malcolm * Some steps towards a working Makefile for `portable Hat'. M ./src/hatlib/Makefile -8 +12

1 0

patch applied (hat): Use -prelude flag to hat-trans to omit the automatic `import Prelude'
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 23 07:10:52 PST 2002 malcolm * Use -prelude flag to hat-trans to omit the automatic `import Prelude' when we are bootstrapping the Prelude itself. M ./src/compiler98/AuxFile.hs -1 +2 M ./src/hattrans/AuxFile.hs -1 +2

1 0

patch applied (hat): Really commit changed Makefile
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 22 09:50:24 PST 2002 olaf * Really commit changed Makefile M ./src/hatlib/Char.hs +1 M ./src/hatlib/Makefile -6 +25

1 0

patch applied (hat): Made Makefile for Hat library (doesn' t work yet).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 22 09:33:41 PST 2002 olaf * Made Makefile for Hat library (doesn't work yet). Cleaned up directory Hat. Changed PreludeBuiltin to make library Char work as well. M ./src/hatlib/PreludeBuiltin.hs -1 +3 A ./src/hatlib/PreludeBuiltinTypes.hx R ./src/hatlib/TPrelude.hs A ./src/hatlib/TraceOrigChar.hx A ./src/hatlib/TraceOrigPrelude.hx

1 0

patch applied (hat): Must import ' maybeStipOffQual' .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 22 09:18:25 PST 2002 malcolm * Must import 'maybeStipOffQual'. M ./src/compiler98/HatTrans.hs -1 +1 M ./src/hattrans/HatTrans.hs -1 +1

1 0

patch applied (hat): Changed tracing combinator ulazySat for untraced code.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 22 07:26:56 PST 2002 olaf * Changed tracing combinator ulazySat for untraced code. The old one could not handle cyclic untraced data structures. The new one does, but always creates a Sat, ie. basically for every trusted reduction a Sat is constructed (however, old unportable version does not seem to be better in that respect). Transformed prelude with -hat -trusted, but nonetheless trace file seems to be considerably larger than for non-portable version. Corrected error in hat.c; pointers in hat.bridge had hidden flag set. Now hat-trail, hat-observe and hat-detect seem to work with trace files produced by portable version. Making everything is still done by hand. M ./src/compiler98/MainNew.hs -2 +2 M ./src/compiler98/TraceTrans.hs -22 +19 M ./src/hatlib/Hat.hs -14 +157 M ./src/hatlib/Makefile -3 +4 M ./src/hatlib/Prelude.hs -1 +4 M ./src/hatlib/PreludeBasic.hs -1 +3 M ./src/hatlib/PreludeBuiltin.hs -1 +5 M ./src/hatlib/TPrelude.hs -205 +35 M ./src/hatlib/TPreludeBuiltinTypes.hs -28 +2 M ./src/hatlib/hat-c.c +1 M ./src/hattrans/TraceTrans.hs -22 +19

1 0