October 2006 - Cvs-nhc98

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

[cvs-nhc98] patch applied (hat): First version of `hat-explore' , a textual version of hat-trail.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 6 09:15:19 PST 2002 malcolm * First version of `hat-explore', a textual version of hat-trail. M ./src/hattools/HatTrace.gc -1 +18 A ./src/hattools/HighlightStyle.hs M ./src/hattools/Makefile -4 +12 A ./src/hattools/PrettyLibHighlight.hs A ./src/hattools/SExp.hs M ./src/hattools/utils.c +22

1 0

patch applied (hat): Implemented labelled fields fully.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 6 04:28:54 PST 2002 olaf * Implemented labelled fields fully. Data type definition, use of labels as selectors, construction and update with fields are now handled by hat-trans. Because there is no appropriate structure in the Hat trace file format, construction is encoded as normal construction of a data constructor and update is encoded as a "case". The latter can lead to weird expressions in hat-trail (e.g. "f main |> case C True undefined undefined"; "f (case C True undefined) undefined" would be clearer). Field labels only appear as selector functions in the trace. Selection and update can cause runtime errors if a field label is not present. To allow a simpler transformation, these runtime errors are not caught. A general solution to runtime errors is needed anyway. M ./src/compiler98/Extra.hs +3 M ./src/compiler98/Syntax.hs +13 M ./src/compiler98/SyntaxPos.hs +4 M ./src/compiler98/TraceTrans.hs -28 +113 M ./src/hatlib/Hat.hs -1 +16 M ./src/hattrans/TraceTrans.hs -28 +113

1 0

patch applied (hat): Eliminate spurious warnings in hat-trans.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Feb 4 07:58:54 PST 2002 malcolm * Eliminate spurious warnings in hat-trans. * Previously, the IdentMap (that maps a constructor, field, or method to its type or class) was only used on entities defined in this module. This led to spurious warnings about some identifiers that were imported and re-exported. * Now, the IdentMap is always paired up with the AuxTree (mapping from Identifier to AuxInfo) to form an 'Environment', so the two are always carried together. Thus, getImports extends the IdentMap as well as the AuxTree. Also, when relabeling the abstract syntax tree, we now have correct information about the kind (Var, Con, Field, Method) of each entity, rather than a poor approximation. M ./src/compiler98/AuxFile.hs -104 +126 M ./src/compiler98/AuxFixity.hs -29 +29 M ./src/compiler98/AuxLabelAST.hs -49 +40 M ./src/hattrans/AuxFile.hs -104 +126 M ./src/hattrans/AuxFixity.hs -29 +29 M ./src/hattrans/AuxLabelAST.hs -49 +40

1 0

patch applied (hat): Write traced reductions called from untraced code correctly to trace.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Feb 4 06:29:28 PST 2002 olaf * Write traced reductions called from untraced code correctly to trace. Example: filter myEven [1..10]; myEven x = x filter is untraced, but because myEven is traced the reductions myEven 1 = False, myEven 2 = True, ... should be in the trace. The "fun?" combinators responsible for this wrote the application but not the following Sat pointing to the result into the trace. After changing that it works. However, hat-detect cannot find such kind of children and hat-trail does not seem to have any trace pointing to them either; the trail is rather weird. Note that if myEven is defined as "myEven = even", then hat-observe myEven will only return myEven = even which is correct but not terribly useful. M ./src/hatlib/Hat.hs -5 +12

1 0