October 2006 - Cvs-nhc98

patch applied (hat): Eliminate warnings for -lncurses. Also ' make clean' now removes more
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 17 03:39:12 PDT 2001 malcolm * Eliminate warnings for -lncurses. Also 'make clean' now removes more object files. M ./src/hattools/Makefile -5 +6

1 0

patch applied (hat): Trace-scrolling problem made rare instead of common!
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 16 09:11:52 PDT 2001 colin * Trace-scrolling problem made rare instead of common! M ./src/old/trail/DbgPanel.java -55 +69

1 0

patch applied (hat): Corrected several bugs in hat-stack.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 15 07:40:07 PDT 2001 olaf * Corrected several bugs in hat-stack. Set string buffers for expressions in readTraceAt and infixPrint to 10000 instead of 255 (no final solution). If an expression has no source reference hatStack prints a message that says so instead of seg faulting. Hidden itself is never a stack entry. If a parent is a hidden, we follow the hidden parent. Hidden is only shown in subexpressions. Infix printing is only used when the operator has at least 2 arguments. Improvements: Expressions are cut off at a depth of 6 to avoid very large expressions. if, case and guard redexes are shown correctly, with the parent as next stack entry. M ./src/hattools/hat-stack.c -4 +8 M ./src/hattools/utils.c -16 +36 M ./src/hattools/utils.h -1 +1

1 0

patch applied (hat): Help panels added, shared selection removed, various minor bug-fixes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 15 06:11:31 PDT 2001 colin * Help panels added, shared selection removed, various minor bug-fixes. M ./src/old/trail/Bottom.java -18 +5 M ./src/old/trail/Case.java -20 +4 M ./src/old/trail/CharList.java -13 +3 M ./src/old/trail/Connection.java -2 +2 M ./src/old/trail/CutOffTree.java -4 M ./src/old/trail/DbgPanel.java -3 +2 M ./src/old/trail/EDTNode.java -21 +4 M ./src/old/trail/EDTStructuredNode.java -22 +8 M ./src/old/trail/HatTrail.java -1 +4 A ./src/old/trail/Help.java M ./src/old/trail/Hidden.java -15 +3 M ./src/old/trail/IdName.java -5 +1 M ./src/old/trail/Options.java -2 +2 M ./src/old/trail/OutputPanel.java -12 +10 M ./src/old/trail/Pruned.java -20 +5 M ./src/old/trail/Redex.java -4 M ./src/old/trail/SourceViewer.java -2 +3 A ./src/old/trail/Symbols.java M ./src/old/trail/TraceFrame.java -17 +19 M ./src/old/trail/TraceTree.java -2 +2

1 0

patch applied (hat): - hat-tools now supporting isolated SATs in the hat file.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 14 10:37:43 PDT 2001 thorsten * - hat-tools now supporting isolated SATs in the hat file. Equations given by the tools should now be correct (mostly...) - hat-observe now includes a work around for the partial application problem. - Many modifications to hat-detect: it's a lot better now! ;) M ./src/hattools/Expressions.c -3 +13 M ./src/hattools/Expressions.h +1 M ./src/hattools/FunTable.c -7 +71 M ./src/hattools/FunTable.h -1 +4 M ./src/hattools/Makefile -7 +10 M ./src/hattools/hat-detect.c -184 +272 M ./src/hattools/hat-interact.c -15 +23 M ./src/hattools/hat-observe.c -226 +20 M ./src/hattools/hatfile.h +6 M ./src/hattools/hatfileops.c -7 +77 M ./src/hattools/hatfileops.h +2 A ./src/hattools/menu.c A ./src/hattools/menu.h A ./src/hattools/observeutils.c

1 0

patch applied (hat): Directly produce tracing code for guards and if instead of combinators.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 11 10:19:47 PDT 2001 olaf * Directly produce tracing code for guards and if instead of combinators. This change makes the transformation only slightly longer and actually less complicated. However, an improvement in speed is hardly noticeably. Around 2% for mate. M ./src/compiler98/DbgId.hs -67 +20 M ./src/compiler98/DbgTrans.hs -22 +75

1 0

patch applied (hat): Tolerate but ignore SAT with no APP bit in TR nodes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 11 04:02:27 PDT 2001 colin * Tolerate but ignore SAT with no APP bit in TR nodes. M ./src/hattools/browsercomms.c -1 +1

1 0

patch applied (hat): Preparing for new options.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 11 03:28:26 PDT 2001 colin * Preparing for new options. M ./src/old/trail/Case.java -33 +19 M ./src/old/trail/DbgPanel.java -22 +21 M ./src/old/trail/EDTNode.java -9 +8 M ./src/old/trail/Options.java -6 +12 M ./src/old/trail/TraceFrame.java -1 +2 M ./src/old/trail/TraceTree.java -4 +17

1 0

patch applied (hat): Made transformation for PatWildcard shorter.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 10 09:30:14 PDT 2001 olaf * Made transformation for PatWildcard shorter. Also now avoid a source reference for trusted PatWildcard. M ./src/compiler98/DbgTrans.hs -6 +5

1 0

patch applied (hat): Fixed bug in hat-connect (bad refnr); allow prog or prog.hat arg to hat-check.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 10 02:11:42 PDT 2001 colin * Fixed bug in hat-connect (bad refnr); allow prog or prog.hat arg to hat-check. M ./src/hattools/browsercomms.c -1 +1 M ./src/hattools/hat-check.c -1 +8

1 0