October 2006 - Cvs-nhc98

patch applied (hat): A bunch of new documentation for Hat 2.00.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 13 01:47:36 PDT 2002 malcolm * A bunch of new documentation for Hat 2.00. A ./docs/config.html A ./docs/copyright.html A ./docs/download.html M ./docs/faq.html -24 +17 M ./docs/feature-table.html -70 +68 M ./docs/hatuser.tex -8 +8 M ./docs/index.html -193 +141 A ./docs/install.html A ./docs/libraries.html M ./docs/maillist.html -37 +19 A ./docs/publications.html A ./docs/requirements.html A ./docs/status.html M ./docs/tutorial1.tex -8 +10

1 0

patch applied (hat): Workaround for Hidden-> Forward-> Projection-> Hidden cycle.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 13 01:44:25 PDT 2002 malcolm * Workaround for Hidden->Forward->Projection->Hidden cycle. M ./src/hattools/artutils.c -1 +2

1 0

patch applied (hat): Always detect cycles. Numbered expressions should have number in blue.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 12 04:19:12 PDT 2002 malcolm * Always detect cycles. Numbered expressions should have number in blue. M ./src/hattools/SExp.hs -13 +14

1 0

patch applied (hat): Script to invoke hat-check -g on a .hat file and pass the output to
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 12 04:16:43 PDT 2002 malcolm * Script to invoke hat-check -g on a .hat file and pass the output to `dot', generating a PostScript file. A ./script/hat-graph

1 0

patch applied (hat): Add -g mode to hat-check. The new option generates a graph as a
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 12 04:13:50 PDT 2002 malcolm * Add -g mode to hat-check. The new option generates a graph as a source file for input to the standard `dot' graph-drawing utility. M ./src/hattools/hat-check.c -65 +136

1 0

patch applied (hat): Hat-library: removed bug that produced corrupted trace when interrupted.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jun 11 09:03:56 PDT 2002 olaf * Hat-library: removed bug that produced corrupted trace when interrupted. The stack was directly written to file, without using the sequential write buffer and before that sequential write buffer was written. Now when the stack is written the sequential write buffer is also used. M ./src/hatlib/hat-c.c -5 +3

1 0

patch applied (hat): Hat-trans: added / improved error messages for faulty input module.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jun 11 03:41:21 PDT 2002 olaf * Hat-trans: added / improved error messages for faulty input module. This also removes the following bug: 3. hat-trans suffers a pattern-match failure if the source program has an empty import list Actually the pattern-match failure had nothing to do with an empty import list. It occurred when a data constructor that was not in scope occurred in a pattern. M ./src/compiler98/AuxFile.hs +1 M ./src/compiler98/AuxLabelAST.hs -3 +4 M ./src/compiler98/Makefile -3 +1 M ./src/compiler98/TraceTrans.hs -2 +2 M ./src/hattrans/AuxFile.hs +1 M ./src/hattrans/AuxLabelAST.hs -3 +4 M ./src/hattrans/TraceTrans.hs -2 +2

1 0

patch applied (hat): Hat-library: added combinators for higher arities.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jun 10 12:46:04 PDT 2002 olaf * Hat-library: added combinators for higher arities. No bogus implementations anymore; lack of combinators cannot lead to runtime errors, only linktime errors. M ./src/hatlib/Hat.hs -14 +448 M ./src/hatlib/hat-c.c -9 +349

1 0

patch applied (hat): Hat-trans/library: changed recording of trusted constants
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jun 10 09:13:51 PDT 2002 olaf * Hat-trans/library: changed recording of trusted constants Now a use of a constant in trusted code no longer records a ConstUse node. In rare cases the value of the constant might be returned from the trusted code into traced land; if the constant is global, then its ConstDef is returned to traced land. Hopefully it does not confuse any tool if an Exp contains a ConstDef directly, without any intermediate ConstUse. Filesize of Adjoxe.hat (edgecorner1) is reduced by 3%. Also hat-observe :i shows less (no?) irritating trusted constants. M ./src/compiler98/TraceTrans.hs -5 +8 M ./src/hatlib/Hat.hs -4 +12 M ./src/hattrans/TraceTrans.hs -5 +8

1 0

patch applied (hat): wibble for ghc_floats.o
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jun 10 08:30:28 PDT 2002 malcolm * wibble for ghc_floats.o M ./src/compiler98/Makefile +1

1 0