October 2006 - Cvs-nhc98

patch applied (hat): Minor updates to reflect the new hat tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 6 02:31:02 PST 2002 malcolm * Minor updates to reflect the new hat tools. M ./COPYRIGHT -10 +23

1 0

patch applied (hat): Reformat for readability.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 5 04:14:20 PST 2002 malcolm * Reformat for readability. M ./src/hattools/HatTrie.hs -423 +447

1 0

patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:56:47 PST 2002 malcolm * Lowlevel getResult() routine should check for a SAT after a TNm, not only after a TAp. This fixes hat-explore so that = always shows a result. M ./src/hattools/utils.c +25

1 0

patch applied (hat): In hat-observe: allow interrupts while searching for equations.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:55:07 PST 2002 malcolm * In hat-observe: allow interrupts while searching for equations. Also, add commands :+ and :- for changing cutoff-depth by increments. M ./src/hattools/HatObserve.hs -50 +71 M ./src/hattools/HatTrace.gc -11 +22 M ./src/hattools/observeutils.c -43 +82 M ./src/hattools/observeutils.h +4

1 0

patch applied (hat): In hat-explore:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:52:23 PST 2002 malcolm * In hat-explore: * add a status line - shows messages, and usually the current srcref * add commands to change the cutoff-depth * add an `always-show-equations' mode * support multi-character commands on the bottom line * the = key now toggles the current equation on/off * the = key takes you immediately to the RHS * the action of the [ ] movement keys is now bound to < and > * shrink and expand are now - and + M ./src/hattools/HighlightStyle.hs +4 M ./src/hattools/SExp.hs -6 +9

1 0

patch applied (hat): Add commands :+n and :-n for changing cutoff depth by increments.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:44:20 PST 2002 malcolm * Add commands :+n and :-n for changing cutoff depth by increments. M ./src/hattools/HatDetect.hs -3 +21

1 0

patch applied (hat): Implemented correct matching of newtype data constructors and ~ in portable transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 1 06:04:54 PST 2002 olaf * Implemented correct matching of newtype data constructors and ~ in portable transformation. The main work is actually done by auxLabelSyntaxTree. The same variable can now appear both as a let and a lambda bound variant (hence they need different prefixes in the transformation). All variables in pattern are considered as lambda bound (however, for simplicity auxLabelSyntaxTree may mark some as let bound). For a variable x occurring in an irrefutable pattern, auxLabelSyntaxTree adds an equation x = x to the syntax tree, where the lhs is let bound and the rhs is lambda bound. All usages of x will use the let bound variant. The normal transformation of the equation x = x will assure that x always has a trace, even if it is never demanded. To avoid recursive modules the module AuxTypes had to be created. Needed to extend the .hx format slightly to record if a data constructor belongs to a newtype or a data type. Hence all libraries including prelude need to be retransformed. Now distinguish between lambda bound variables and let bound variables with arity 0. Corrected a bug: A single let-bound variable on a rhs should not be surrounded by an indirection. It is not a projection. M ./src/compiler98/AuxFile.hs -163 +115 M ./src/compiler98/AuxFixity.hs -1 +1 M ./src/compiler98/AuxLabelAST.hs -20 +61 A ./src/compiler98/AuxTypes.hs M ./src/compiler98/Makefile -1 +1 M ./src/compiler98/PrettySyntax.hs -9 +8 M ./src/compiler98/TraceId.hs -23 +34 M ./src/compiler98/TraceTrans.hs -59 +83 M ./src/hatlib/Makefile -1 +1 M ./src/hatlib/PreludeBuiltinTypes.hx -19 +19 M ./src/hattrans/AuxFile.hs -163 +115 M ./src/hattrans/AuxFixity.hs -1 +1 M ./src/hattrans/AuxLabelAST.hs -20 +61 A ./src/hattrans/AuxTypes.hs M ./src/hattrans/TraceId.hs -23 +34 M ./src/hattrans/TraceTrans.hs -59 +83

1 0

patch applied (hat): Refactor hat-detect:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 07:38:06 PST 2002 malcolm * Refactor hat-detect: * add a simple Cmd type and an interpreter to translate from keystrokes to Cmds * change syntax to Hugs-style ':' commands * replace toggles with :set and :unset * update help text to reflect new command syntax M ./src/hattools/HatDetect.hs -207 +296

1 0

patch applied (hat): In hat-explore, the ' show unevaluated stuff as _' flag was being read
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 03:08:00 PST 2002 malcolm * In hat-explore, the 'show unevaluated stuff as _' flag was being read in the negated sense. Fix it. M ./src/hattools/SExp.hs -34 +8

1 0

patch applied (hat): Refactor hat-observe:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 03:06:24 PST 2002 malcolm * Refactor hat-observe: * rename 'precision' to 'cutoffdepth' * '<RETURN> for more equations' is now a moded dialogue * introduce a simple command type and an interpreter to translate keystrokes into commands * adopt a Hugs-like ':command' syntax * state toggles have now become explicit commands :set or :unset * the 'show' command is now :info * the :help text is updated to show the new command syntax M ./src/hattools/HatObserve.hs -255 +218

1 0