October 2006 - Cvs-nhc98

patch applied (hat): Minor renaming of visImpRev to visImport.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Sep 11 10:22:22 PDT 2001 malcolm * Minor renaming of visImpRev to visImport. M ./src/compiler98/AuxFile.hs -1 +1 M ./src/compiler98/AuxFixity.hs -2 +2 M ./src/compiler98/AuxLabelAST.hs -1 +1 M ./src/hattrans/AuxFile.hs -1 +1 M ./src/hattrans/AuxFixity.hs -2 +2 M ./src/hattrans/AuxLabelAST.hs -1 +1

1 0

patch applied (hat): Added missing description for new hat-observe command.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 7 07:36:12 PDT 2001 thorsten * Added missing description for new hat-observe command. M ./docs/hatuser.tex +7

1 0

patch applied (hat): Updating documentation for new commands in hat-observe/hat-detect.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 7 07:29:32 PDT 2001 thorsten * Updating documentation for new commands in hat-observe/hat-detect. M ./docs/hatuser.tex -10 +39

1 0

patch applied (hat): Haskell Interface to RedexTrail files improved.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 7 06:54:16 PDT 2001 thorsten * Haskell Interface to RedexTrail files improved. M ./src/hattools/HatDetect.hs -15 +15 R ./src/hattools/HatExpression.hs A ./src/hattools/HatExpressionTree.hs M ./src/hattools/HatObserve.hs -21 +50 M ./src/hattools/HatTrace.gc -246 +372 M ./src/hattools/HatTrie.hs -31 +36 M ./src/hattools/Hatdetect.hs -15 +15 M ./src/hattools/Hatobserve.hs -21 +50 M ./src/hattools/Makefile -2 +2 M ./src/hattools/detect.c -3 +1 M ./src/hattools/hat-checki.c -1 +1 M ./src/hattools/hat-detect.c -1 +1 M ./src/hattools/hatinterface.c -3 +9 M ./src/hattools/hatinterface.h -1 +2 M ./src/hattools/observeutils.c -26 +83 M ./src/hattools/observeutils.h -6 +10

1 0

patch applied (hat): Hatobserve: show observation results immediately. Avoid showing
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Sep 3 09:08:33 PDT 2001 thorsten * Hatobserve: show observation results immediately. Avoid showing less general equations, but only consider equations shown so far, instead of uniquing entire list before displaying any equation. M ./src/hattools/HatObserve.hs -52 +39 M ./src/hattools/HatTrace.gc -4 +20 M ./src/hattools/HatTrie.hs -43 +50 M ./src/hattools/Hatobserve.hs -52 +39 M ./src/hattools/hatinterface.c -3 +28 M ./src/hattools/hatinterface.h +3 M ./src/hattools/observeutils.c -30 +39

1 0

patch applied (hat): Correct problem when comparing expressions: numeric argument never match
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 29 03:17:13 PDT 2001 thorsten * Correct problem when comparing expressions: numeric argument never match non-numeric ones. M ./src/hattools/HatTrie.hs -13 +13

1 0

patch applied (hat): Correct Makefile: hmake does not use " -o" to rename the binary. " mv" command
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 28 08:18:20 PDT 2001 thorsten * Correct Makefile: hmake does not use "-o" to rename the binary. "mv" command introduced to rename the binaries for Hatdetect and Hatobserve M ./src/hattools/HatDetect.hs -13 +12 M ./src/hattools/Hatdetect.hs -13 +12 M ./src/hattools/Makefile -2 +4

1 0

patch applied (hat): Haskell version of tool " hat-detect" added. Tool provides entire
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 28 07:59:14 PDT 2001 thorsten * Haskell version of tool "hat-detect" added. Tool provides entire functionality of earlier C-tool, plus some enhancements: - starting "hat-trail" and "hat-observe" from "hat-detect" is possible. - better behaviour when going back to an earlier question. Memoisation memory is not entirely cleared as in C, but restored to original state at the earlier question. (hat-detect.c now obsolete) Haskell interface to C libraries was cleaned and structured. Internal representation of "HatNode" now entirely hidden to the world outside the interface. A ./src/hattools/HatDetect.hs M ./src/hattools/HatExpression.hs -36 +41 M ./src/hattools/HatObserve.hs -32 +51 M ./src/hattools/HatTrace.gc -141 +429 M ./src/hattools/HatTrie.hs -2 +2 A ./src/hattools/Hatdetect.hs M ./src/hattools/Hatobserve.hs -32 +51 M ./src/hattools/Makefile -8 +22 M ./src/hattools/detect.c -28 +116 M ./src/hattools/detect.h -2 +1 M ./src/hattools/hat-detect.c -20 +7

1 0

patch applied (hat): Improve various comments, error messages, and formatting.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 23 08:03:37 PDT 2001 malcolm * Improve various comments, error messages, and formatting. Merged from stable-1-06-branch. M ./src/compiler98/Main.hs -7 +11 M ./src/compiler98/Need.hs -9 +17 M ./src/compiler98/NeedLib.hs -2 +10 M ./src/compiler98/PreImport.hs -30 +45 M ./src/compiler98/PrettySyntax.hs +17

1 0

patch applied (hat): Add the addPreludeTupleInstances() hack, to avoid the expense of reading
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 23 08:01:28 PDT 2001 malcolm * Add the addPreludeTupleInstances() hack, to avoid the expense of reading lots of instance decls from the Prelude interface file. However, turn it off for the moment until I'm sure its safe. Merged from stable-1-06-branch. M ./src/compiler98/IExtract.hs -4 +34

1 0