- Cvs-nhc98 - Haskell.org

patch applied (hat): - removed " forgotten" debugging code from hat-detect
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sat May 19 12:28:41 PDT 2001 thorsten * - removed "forgotten" debugging code from hat-detect - fixed problem with "hidden" parents in hat-detect - hat-observe: fixed problem with applications with a function trace to a SAT, which references the searched identifier in observe.c M ./src/hattools/hat-detect.c +3 M ./src/hattools/hatfileops.c -1 +5 M ./src/hattools/observeutils.c -7 +12

1 0

patch applied (hat): New low level interface for hat files: abstraction from file structure.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 10:01:46 PDT 2001 thorsten * New low level interface for hat files: abstraction from file structure. bug fixes: accept INTEGERs with negative number of bytes in hat files consider recursive calls to functions within a non-toplevel definition properly improve EDT structure: treat children of non-toplevel equations as children of the non-toplevel equation's parent M ./src/hattools/Expressions.c -8 +11 M ./src/hattools/Expressions.h -2 +2 M ./src/hattools/FunTable.c -2 +2 M ./src/hattools/Makefile -2 +4 M ./src/hattools/hat-check.c -1 +2 M ./src/hattools/hat-detect.c -40 +50 M ./src/hattools/hat-interact.c -42 +44 M ./src/hattools/hatfileops.c -274 +529 M ./src/hattools/hatfileops.h -70 +47 M ./src/hattools/observeutils.c -113 +25

1 0

patch applied (hat): New communication protocol to support accurate yellow and blue annotation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 04:46:26 PDT 2001 colin * New communication protocol to support accurate yellow and blue annotation. Better clean-up on closing window. M ./src/old/trail/Bottom.java -10 +13 M ./src/old/trail/Case.java -15 +14 M ./src/old/trail/CharList.java -7 +12 M ./src/old/trail/CutOffTree.java -14 +8 M ./src/old/trail/DbgPanel.java -11 +9 M ./src/old/trail/EDTNode.java -14 +17 M ./src/old/trail/EDTParser.java -107 +108 M ./src/old/trail/EDTStructuredNode.java -21 +18 M ./src/old/trail/Hidden.java -4 +7 M ./src/old/trail/IdName.java -16 +10 M ./src/old/trail/OutputPanel.java -1 +1 M ./src/old/trail/Pruned.java -3 +4 M ./src/old/trail/Redex.java -4 +7 M ./src/old/trail/Trace.java -5 +4 M ./src/old/trail/TraceFrame.java +5 M ./src/old/trail/TraceTree.java -3 +4

1 0

patch applied (hat): Permit hat-trail to display parent-colouring correctly.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 04:02:40 PDT 2001 malcolm * Permit hat-trail to display parent-colouring correctly. To achieve this, we add an extra field to most of the messages sent from hat-connect to hat-trail. This field contains a prediction (obtained via the new routine peekTrace()) of the node number that will eventually be the /displayed/ parent for a particular node, i.e. by skipping over Hiddens and Sats and following the left pointer of Indirections. M ./src/hattools/browsercomms.c -7 +66 M ./src/hattools/browsercomms.h +1 M ./src/hattools/nodecache.c -1 +2

1 0

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