October 2006 - Cvs-nhc98

patch applied (hat): Fixed bug in relabelling.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 29 08:43:32 PDT 2002 olaf * Fixed bug in relabelling. Before a locally defined variable would not shadow a method. M ./src/compiler98/AuxLabelAST.hs -1 +7 M ./src/hattrans/AuxLabelAST.hs -1 +7

1 0

patch applied (hat): Fixed bug in handling of pattern bindings.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 29 05:57:56 PDT 2002 olaf * Fixed bug in handling of pattern bindings. Pattern bindings with newtype data constructors where incorrectly transformed; AuxLabelAst already added bogus definitions for the variables within these data constructors, because it treated these variables to have only a local scope within the pattern definition. Also added error message if hat-trans is applied to a program with (..) after a type or class in an export or import list. M ./src/compiler98/AuxLabelAST.hs -8 +18 M ./src/compiler98/TraceTrans.hs -1 +3 M ./src/hattrans/AuxLabelAST.hs -8 +18 M ./src/hattrans/TraceTrans.hs -1 +3

1 0

patch applied (hat): Minor changes to the main build wrt the hat-tools:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 29 05:34:34 PDT 2002 malcolm * Minor changes to the main build wrt the hat-tools: * remove hat-trail-in-java from the standard build; * add "old" versions of other tools with -T in the name, e.g. hat-observe-T; * a few Cygwin-related changes, mostly still commented out. M ./Makefile.inc -14 +22

1 0

patch applied (hat): Bring back the " old" hat tools (i.e. which still work with the nhc98 -T
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 29 05:28:47 PDT 2002 malcolm * Bring back the "old" hat tools (i.e. which still work with the nhc98 -T version of the transformation), in a separate directory. A ./src/old/oldtools/ A ./src/old/oldtools/Expressions.c A ./src/old/oldtools/Expressions.h A ./src/old/oldtools/FunTable.c A ./src/old/oldtools/FunTable.h A ./src/old/oldtools/HatDetect.hs A ./src/old/oldtools/HatExpressionTree.hs A ./src/old/oldtools/HatObserve.hs A ./src/old/oldtools/HatTrace.gc A ./src/old/oldtools/HatTrail.hs A ./src/old/oldtools/HatTrie.hs A ./src/old/oldtools/HighlightStyle.hs A ./src/old/oldtools/LowLevel.hs A ./src/old/oldtools/Makefile A ./src/old/oldtools/Makefile.inc A ./src/old/oldtools/Navigable.hs A ./src/old/oldtools/NodeMatch.hs A ./src/old/oldtools/OldHatExplore.hs A ./src/old/oldtools/OldSExp.hs A ./src/old/oldtools/PrettyAssoc.hs A ./src/old/oldtools/PrettyExp.hs A ./src/old/oldtools/PrettyLib.hs A ./src/old/oldtools/PrettyLibHighlight.hs A ./src/old/oldtools/Run.hs A ./src/old/oldtools/SExp.hs A ./src/old/oldtools/SrcRefViewer.hs A ./src/old/oldtools/art.h A ./src/old/oldtools/browsercomms.c A ./src/old/oldtools/browsercomms.h A ./src/old/oldtools/detect.c A ./src/old/oldtools/detect.h A ./src/old/oldtools/hashtable.c A ./src/old/oldtools/hashtable.h A ./src/old/oldtools/hat-check.c A ./src/old/oldtools/hat-checki.c A ./src/old/oldtools/hat-connect.c A ./src/old/oldtools/hat-detect.c A ./src/old/oldtools/hat-names.c A ./src/old/oldtools/hat-observe.c A ./src/old/oldtools/hat-port.c A ./src/old/oldtools/hat-stack.c A ./src/old/oldtools/hatfile.h A ./src/old/oldtools/hatgeneral.c A ./src/old/oldtools/hatgeneral.h A ./src/old/oldtools/hatinterface.c A ./src/old/oldtools/hatinterface.h A ./src/old/oldtools/menu.c A ./src/old/oldtools/menu.h A ./src/old/oldtools/minisocklib.c A ./src/old/oldtools/nodecache.c A ./src/old/oldtools/nodecache.h A ./src/old/oldtools/nodelist.c A ./src/old/oldtools/nodelist.h A ./src/old/oldtools/observe.c A ./src/old/oldtools/observe.h A ./src/old/oldtools/utils.c A ./src/old/oldtools/utils.h

1 0

patch applied (hat): Add :source and :Source commands to hat-observe.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 28 09:48:49 PDT 2002 malcolm * Add :source and :Source commands to hat-observe. M ./src/hattools/HatObserve.hs -8 +36

1 0

patch applied (hat): Fix subtle bug which caused some equations to display as partial
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 28 09:24:07 PDT 2002 malcolm * Fix subtle bug which caused some equations to display as partial applications, not fully saturated, even though the correct application was originally found in the file. M ./src/hattools/SExp.hs -1 +1

1 0

patch applied (hat): Portable Hat: Fixed < < loop> > bug.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 28 09:08:43 PDT 2002 olaf * Portable Hat: Fixed <<loop>> bug. Even for local constants uConstDef has to record something to avoid a black hole, because useDef pattern matches on its result. Hence use uwrapForward there. Reintroduced distinction between wrapForward and uwrapForward. The former always records a Forward. Know that for type conversion combinators the trace will always be demanded. Also replaced unFun by pattern matching on Fun. It was stupid previously to remove pattern matching. Because Fun is a newtype it doesn't force any evaluation and it is nicer and probably more efficient than unFun. Experimented with different definition of uwrapForward. The alternative is nicer, but slightly less efficient and hence only included in a comment. M ./src/hatlib/Hat.hs -51 +87

1 0

patch applied (hat): Allow pattern " f in g" to match even if g is inside a lambda within the
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 28 07:27:19 PDT 2002 malcolm * Allow pattern "f in g" to match even if g is inside a lambda within the definition of f. M ./src/hattools/observeutils.c -11 +28

1 0

patch applied (hat): In all hat tools:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue May 28 07:24:04 PDT 2002 malcolm * In all hat tools: * Replace the `verbose' option with three separate new options: uneval, stringSugar, and listSugar. * Do projections correctly. * Right-associative operators (e.g. :) are now correctly pretty-printed without extra parens. (The decoding of L/R fixity from an Int was wrong in SExp). In hat-trail: * Fix the problem of textual overflow in the error/output panes. M ./src/hattools/HatObserve.hs -25 +50 M ./src/hattools/HatTrail.hs -66 +104 M ./src/hattools/Pattern.hs -3 M ./src/hattools/SExp.hs -123 +74 M ./src/hattools/TExp.hs -7 M ./src/hattools/artutils.c -1 +2

1 0

patch applied (hat): Slight tidy-up of list-sugaring.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed May 22 06:35:39 PDT 2002 malcolm * Slight tidy-up of list-sugaring. M ./src/hattools/SExp.hs -3 +5

1 0