- Cvs-nhc98 - Haskell.org

Minor updates to reflect the new hat tools.
by malcolm＠sparud.net 06 Mar '02

06 Mar '02

malcolm: Wed Mar 6 11:31:03 CET 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv10536 Modified Files: COPYRIGHT Log Message: Minor updates to reflect the new hat tools.

1 0

Reformat for readability.
by malcolm＠sparud.net 05 Mar '02

05 Mar '02

malcolm: Tue Mar 5 13:14:20 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv699 Modified Files: HatTrie.hs Log Message: Reformat for readability.

1 0

Lowlevel getResult() routine should check for a SAT after
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:56:47 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18597 Modified Files: utils.c Log Message: 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.

1 0

In hat-observe: allow interrupts while searching for equat
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:55:07 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18574 Modified Files: HatObserve.hs HatTrace.gc observe.c observe.h Log Message: In hat-observe: allow interrupts while searching for equations. Also, add commands :+ and :- for changing cutoff-depth by increments.

1 0

In hat-explore:
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:52:23 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18521 Modified Files: HatExplore.hs HighlightStyle.hs SExp.hs Log Message: 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 +

1 0

Add commands :+n and :-n for changing cutoff depth by incr
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:44:20 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18489 Modified Files: HatDetect.hs Log Message: Add commands :+n and :-n for changing cutoff depth by increments.

1 0

Implemented correct matching of newtype data constructors
by olaf＠sparud.net 01 Mar '02

01 Mar '02

olaf: Fri Mar 1 15:04:55 CET 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv19814/src/hat/lib Modified Files: Makefile PreludeBuiltinTypes.hx Log Message: 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.

1 0

Implemented correct matching of newtype data constructors
by olaf＠sparud.net 01 Mar '02

01 Mar '02

olaf: Fri Mar 1 15:04:54 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv19814/src/compiler98 Modified Files: AuxFile.hs AuxFixity.hs AuxLabelAST.hs Makefile PrettySyntax.hs TraceId.hs TraceTrans.hs Added Files: AuxTypes.hs Log Message: 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.

1 0

Follow the revised Haskell'98 behaviour of 'take' and 'dro
by malcolm＠sparud.net 28 Feb '02

28 Feb '02

malcolm: Thu Feb 28 16:55:13 CET 2002 Update of /usr/src/master/nhc/src/prelude/PreludeList In directory hinken:/tmp/cvs-serv9401 Modified Files: Take.hs Drop.hs Log Message: Follow the revised Haskell'98 behaviour of 'take' and 'drop' in the presence of a negative Int argument.

1 0

Refactor hat-detect:
by malcolm＠sparud.net 26 Feb '02

26 Feb '02

malcolm: Tue Feb 26 16:38:06 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18657 Modified Files: HatDetect.hs Log Message: 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

1 0