October 2006 - Cvs-nhc98

patch applied (hat): Fix two bugs in hat-trail' s help text when using a short terminal window.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 26 08:59:33 PST 2003 malcolm * Fix two bugs in hat-trail's help text when using a short terminal window. * Invoking :h from the initial "output/error" selection panes, the help text scrolls over the upper panes, and the display is corrupted on return. * Invoking :h later, the help text scrolls out of view behind the upper panes, and there is no way of knowing (a) that it has done so, and (b) what the hidden text says. The solution is to implement a simple 'more'-style viewer that adapts to the exact height of the lower (trail) pane. M ./src/hattools/HatTrail.hs -6 +20

1 0

patch applied (hat): Some preparation towards getting Cygwin/ghc builds working again.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 25 13:11:25 PST 2003 malcolm * Some preparation towards getting Cygwin/ghc builds working again. M ./Makefile.inc -6 +6

1 0

patch applied (hat): Give a useful error message when an operator chain fails to parse,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 25 05:44:01 PST 2003 malcolm * Give a useful error message when an operator chain fails to parse, rather than just crashing. M ./src/compiler98/Fixity.hs -1 +5

1 0

patch applied (hat): Remove bug in type checker and addition of some error messages.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 20 10:23:30 PST 2003 olaf * Remove bug in type checker and addition of some error messages. Type unification in TypeUnify was wrong! Given two types c t1 ... tn and c s1 ... sn unification would just unify the two list of arguments. However, if c is a type synonym, this is wrong! A type synonym always has to be expanded. Example: type T a = Int Then unifying T Bool and T Int should not force unification of Bool and Int! With the removal of this bug the Hat transformed Prelude type checks again in nhc98 (instead of producing obscure error "The class Main.Integral has no instance for the type Hat.Hat.List.") Also extended error message "The class ... has no instance for the type ..." so that it gives additional position information. Furthermore the renamer (defineDefaultMethod) did fall over if a method was also declared outside of the class. Now an appropriate error message is produced. M ./src/compiler98/Derive.hs -1 +1 M ./src/compiler98/RenameLib.hs +5 M ./src/compiler98/Type.hs -1 +1 M ./src/compiler98/TypeCtx.hs -14 +18 M ./src/compiler98/TypeUnify.hs -1 +6 M ./src/hatlib/PreludeBasic.hs -5 +2

1 0

patch applied (hat): Update `harch` for newer Linux versions which can report ' athlon' instead of
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 13 10:08:43 PST 2003 malcolm * Update `harch` for newer Linux versions which can report 'athlon' instead of 'i686'. M ./script/harch +1

1 0

patch applied (hat): Obtain also type signature for worker from type signature for a function.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 13 09:05:55 PST 2003 olaf * Obtain also type signature for worker from type signature for a function. Type signatures for workers are needed after introduction of the known-arity optimisation. The known-arity optimisation requires that workers of functions with known arity are defined on the same level as their wrapper, not local to them. If the original function was recursive, the worker will be recursive instead of calling the wrapper (as without known-arity opt.). Hence if the original definition had a type signature, then the worker needs a type signature as well (the wrapper gets one anyway), because otherwise its inferred type might not be general enough (polymorphic recursion) or too general (type class ambiguities, problems with existential types). Transformation of the original type signature into the worker type signature is not uniform: function types are handled specially. So if the type includes a type synonym it may not be possible to use the transformed type synonym, but the original one has to be expanded and transformed in this non-uniform way. However, in general a type synonym cannot be expanded, because the rhs might not be in scope at the synonym use site. Hence a type synonym is split into an outer part consisting of function types,type applications and type variables, which can and may need to be expanded, and several inner type parts, for which new helper type synonyms are defined. These are always ex- and imported with the type synonym itself. A lot of effort, but it does work in the end. M ./src/hatlib/Makefile -4 +4 M ./src/hattrans/AuxFile.hs -5 +31 M ./src/hattrans/AuxLabelAST.hs -3 +4 M ./src/hattrans/AuxTypes.hs +4 M ./src/hattrans/TraceId.hs -2 +11 M ./src/hattrans/TraceTrans.hs -28 +117

1 0

patch applied (hat): Import error in the non-readline version.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Feb 12 02:01:28 PST 2003 malcolm * Import error in the non-readline version. M ./src/hattools/CmdLine.hs -1 +1

1 0

patch applied (hat): Fix a bug in counting applications of a constructor with fields.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 11 11:02:01 PST 2003 malcolm * Fix a bug in counting applications of a constructor with fields. (The constructor's arity was being stored wrongly as 0.) M ./src/hattools/hat-names.c -4 +7 M ./src/hattools/observeutils.c -2 +2

1 0

patch applied (hat): Make string truncation in a browser " blue" , by representing the ellipsis
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 11 11:00:43 PST 2003 malcolm * Make string truncation in a browser "blue", by representing the ellipsis explicitly as a boolean field of SString, rather than implicitly within the string itself. M ./src/hattools/Pattern.hs -4 +7 M ./src/hattools/SExp.hs -14 +20 M ./src/hattools/TExp.hs -1 +1

1 0

patch applied (hat): Add readline functionality to hat-observe commandlines, if readline is
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 11 05:54:19 PST 2003 malcolm * Add readline functionality to hat-observe commandlines, if readline is available (i.e. currently only with ghc). A ./src/hattools/CmdLine.hs M ./src/hattools/HatObserve.hs -9 +7 M ./src/hattools/Makefile -2 +3

1 0