- Cvs-nhc98 - Haskell.org

patch applied (hat): Implemented correct matching of newtype data constructors and ~ in portable transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 1 06:04:54 PST 2002 olaf * 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. M ./src/compiler98/AuxFile.hs -163 +115 M ./src/compiler98/AuxFixity.hs -1 +1 M ./src/compiler98/AuxLabelAST.hs -20 +61 A ./src/compiler98/AuxTypes.hs M ./src/compiler98/Makefile -1 +1 M ./src/compiler98/PrettySyntax.hs -9 +8 M ./src/compiler98/TraceId.hs -23 +34 M ./src/compiler98/TraceTrans.hs -59 +83 M ./src/hatlib/Makefile -1 +1 M ./src/hatlib/PreludeBuiltinTypes.hx -19 +19 M ./src/hattrans/AuxFile.hs -163 +115 M ./src/hattrans/AuxFixity.hs -1 +1 M ./src/hattrans/AuxLabelAST.hs -20 +61 A ./src/hattrans/AuxTypes.hs M ./src/hattrans/TraceId.hs -23 +34 M ./src/hattrans/TraceTrans.hs -59 +83

1 0

patch applied (hat): Refactor hat-detect:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 07:38:06 PST 2002 malcolm * 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 M ./src/hattools/HatDetect.hs -207 +296

1 0

patch applied (hat): In hat-explore, the ' show unevaluated stuff as _' flag was being read
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 03:08:00 PST 2002 malcolm * In hat-explore, the 'show unevaluated stuff as _' flag was being read in the negated sense. Fix it. M ./src/hattools/SExp.hs -34 +8

1 0

patch applied (hat): Refactor hat-observe:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 03:06:24 PST 2002 malcolm * Refactor hat-observe: * rename 'precision' to 'cutoffdepth' * '<RETURN> for more equations' is now a moded dialogue * introduce a simple command type and an interpreter to translate keystrokes into commands * adopt a Hugs-like ':command' syntax * state toggles have now become explicit commands :set or :unset * the 'show' command is now :info * the :help text is updated to show the new command syntax M ./src/hattools/HatObserve.hs -255 +218

1 0

patch applied (hat): Refactor hat-explore: introduce more options in the state, and refine
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 02:59:24 PST 2002 malcolm * Refactor hat-explore: introduce more options in the state, and refine the Cmd type with separate Cursor movement commands and Toggle options. M ./src/hattools/LowLevel.hs +2

1 0

patch applied (hat): Refactor hat-detect: use named fields in the state instead of a
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 26 02:52:54 PST 2002 malcolm * Refactor hat-detect: use named fields in the state instead of a large pattern-matched tuple. M ./src/hattools/HatDetect.hs -207 +212

1 0

patch applied (hat): hat-explore fixes:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 21 10:45:59 PST 2002 malcolm * hat-explore fixes: * change the line marker -> to <- * add the command 'S' for definition source reference * change the treatment of cut-off lists of chars - now displayed as a string with a cut-off box as the last character M ./src/hattools/LowLevel.hs +17 M ./src/hattools/SExp.hs -7 +19 M ./src/hattools/utils.c +82

1 0

patch applied (hat): A simple impovement of expression printing in hat-tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 21 09:08:23 PST 2002 olaf * A simple impovement of expression printing in hat-tools. Applications of cuts to cuts are collapsed into a single cut. It's a bit of a hack, because it is done at a latter stage than the cutting off beyond a certain depth. M ./src/hattools/PrettyExp.hs -1 +7

1 0

patch applied (hat): Corrected two bugs in new handling of newtype data constructors and twiddle in patterns.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 21 03:45:24 PST 2002 olaf * Corrected two bugs in new handling of newtype data constructors and twiddle in patterns. DeclsScc can occur because of desugaring of record expressions. Variations of the variable "irrefutableDummy" need to be created that don't clash with each other. First, the variable need to be qualified to avoid clashes between modules. Second, the source position is part of the name to avoid clashes within the Prelude. The later is only a hack; there may still be a clash but it hasn't been noticed yet. M ./src/compiler98/DbgTrans.hs -11 +14

1 0

patch applied (hat): Bugfix for pattern-match failure. Sometimes the trace pointer for
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 20 08:14:15 PST 2002 malcolm * Bugfix for pattern-match failure. Sometimes the trace pointer for this kind of error is completely invalid - beyond the size of the trace file. This is because we forgot to remove any possible heap indirections before reading the file pointer value. M ./src/old/runtime/initexit.c -1 +5

1 0