October 2006 - Cvs-nhc98

patch applied (hat): Oops, forget to add this earlier.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 08:34:36 PST 2002 malcolm * Oops, forget to add this earlier. A ./src/hattools/Run.hs

1 0

patch applied (hat): Added helpful error message for when n+k patterns are used in -T version
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 08:27:27 PST 2002 olaf * Added helpful error message for when n+k patterns are used in -T version M ./src/compiler98/DbgTrans.hs -1 +3

1 0

patch applied (hat): Add a source-reference viewer, and links to it from hat-explore.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 03:03:13 PST 2002 malcolm * Add a source-reference viewer, and links to it from hat-explore. M ./src/hattools/Makefile -3 +8 A ./src/hattools/SrcRefViewer.hs

1 0

patch applied (hat): Add line wrapping screen codes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 03:02:14 PST 2002 malcolm * Add line wrapping screen codes. M ./src/hattools/HighlightStyle.hs +4

1 0

patch applied (hat): When converting a character list to a string, ignore projection nodes
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 02:51:19 PST 2002 malcolm * When converting a character list to a string, ignore projection nodes in the middle of the list. M ./src/hattools/SExp.hs +1

1 0

patch applied (hat): Improve the low-level routine to find the result of an application
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 02:48:43 PST 2002 malcolm * Improve the low-level routine to find the result of an application in hat-explore. If there is no SAT following the application, then follow the parent pointer and look for a SAT after that, recursively. M ./src/hattools/utils.c -3 +8

1 0

patch applied (hat): Lots of improvements for hat-explore.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 13 08:13:40 PST 2002 malcolm * Lots of improvements for hat-explore. M ./src/hattools/HighlightStyle.hs -16 +59 M ./src/hattools/LowLevel.hs -4 +25 M ./src/hattools/Makefile -2 +2 M ./src/hattools/PrettyLibHighlight.hs -28 +32 M ./src/hattools/SExp.hs -68 +135 M ./src/hattools/browsercomms.c -37 M ./src/hattools/browsercomms.h -1 M ./src/hattools/utils.c +125 M ./src/hattools/utils.h +2

1 0

patch applied (hat): Just formatting.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 13 08:12:14 PST 2002 malcolm * Just formatting. M ./src/hattools/PrettyExp.hs -4 +5

1 0

patch applied (hat): Some formatting, some tidying of interactive prompts, and added
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 13 08:11:33 PST 2002 malcolm * Some formatting, some tidying of interactive prompts, and added tunnels to jump to hat-explore. M ./src/hattools/HatDetect.hs -57 +64 M ./src/hattools/HatObserve.hs -42 +47

1 0

patch applied (hat): Support newtype data constructors and ~ in -T tracing version.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 13 08:03:33 PST 2002 olaf * Support newtype data constructors and ~ in -T tracing version. The traced code used to be more strict than it should be in arguments of constructors of newtypes and variables occuring in ~ patterns. Variables in irrefutable patterns may never be evaluated. Hence these variables need to be treated as let not as lambda bound. Now before actual trace transformation replace every irrefutable pattern in a refutable pattern by a new variable and add an appropriate pattern binding. This leads to a tracing program with the original strictness. The created trace is basically right, except that the newly introduced variable appears in the trace. This is because I reused the normal transformation of pattern bindings; to obtain the desired trace special handling would be necessary. Then change from lambda to let-bound variables is a bit of a hack. Still need to do something similar in the portable version. Example program that did not work before: newtype Seq a = Seq ([a] -> [a]) (+++) :: Seq a -> Seq a -> Seq a (Seq fxs) +++ (Seq fys) = Seq (fxs . fys) left (Seq fxs) = head (fxs []) main = print (left (Seq (True:) +++ undefined)) M ./src/compiler98/DbgTrans.hs -58 +147 M ./src/compiler98/Info.hs -1 +1

1 0