- Cvs-nhc98 - Haskell.org

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

patch applied (hat): Added module TraceDerive of the new deriving mechanism for tracing,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 12 02:44:36 PST 2002 olaf * Added module TraceDerive of the new deriving mechanism for tracing, which I had forgotten last time. Also corrected a bug in pretty printing (newtype). M ./src/compiler98/PrettySyntax.hs -1 +6 A ./src/compiler98/TraceDerive.hs A ./src/hattrans/TraceDerive.hs

1 0

patch applied (hat): Add explicit import list for Flags.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 12 02:42:46 PST 2002 malcolm * Add explicit import list for Flags. M ./src/compiler98/Depend.hs -1 +1

1 0

patch applied (hat): Fix export list so it will compile.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Feb 11 13:39:33 PST 2002 malcolm * Fix export list so it will compile. M ./src/compiler98/TraceId.hs -2 +3 M ./src/hattrans/TraceId.hs -2 +3

1 0

[cvs-nhc98] patch applied (hat): Implemented " deriving Eq" in portable transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 8 10:55:32 PST 2002 olaf * Implemented "deriving Eq" in portable transformation. The general mechanism and the specific one for the class Eq are implemented. Deriving for the remaining classes still needs to be done. The derived code is untraced. I use a hack for determining the context of an instance. It is the context that will "commonly" be needed, but it is not correct in all cases. A correct implementation would require much more effort: context reduction (with knowledge about all classes, instances and type synonyms) and a fixed point iteration. M ./src/compiler98/HatTrans.hs -2 +2 M ./src/compiler98/Makefile -1 +1 M ./src/compiler98/PrettySyntax.hs -1 +1 M ./src/compiler98/Syntax.hs +11 M ./src/compiler98/TokenId.hs +3 M ./src/compiler98/TraceId.hs -3 +20 M ./src/compiler98/TraceTrans.hs -14 +19 M ./src/hatlib/PreludeBasic.hs -4 +4 M ./src/hattrans/HatTrans.hs -2 +2 M ./src/hattrans/TraceId.hs -3 +20 M ./src/hattrans/TraceTrans.hs -14 +19

1 0

patch applied (hat): Updated Hat user manual.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 7 11:34:49 PST 2002 olaf * Updated Hat user manual. M ./docs/hatuser.tex -148 +181

1 0

patch applied (hat): Improvements to hat-explore.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 7 09:27:09 PST 2002 malcolm * Improvements to hat-explore. * Use a different low-level interface which gives correct parent information for identifiers, constructors, and literals. * In the state, store a stack of sub-expression contexts, not just expressions. Thus, when you go backwards up the display, the cursor returns to the previously selected subexpression, not the whole line. A ./src/hattools/LowLevel.hs M ./src/hattools/Makefile -3 +3 M ./src/hattools/SExp.hs -147 +143 M ./src/hattools/utils.c -25 +493 M ./src/hattools/utils.h -1 +2

1 0