October 2006 - Cvs-nhc98

patch applied (hat): Install hat-trans' d library interface files for nhc98 in hierarchical dirs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jan 24 05:11:10 PST 2003 malcolm * Install hat-trans'd library interface files for nhc98 in hierarchical dirs. M ./script/confhat -4 +10

1 0

patch applied (hat): Make export list H' 98 compliant by removing a spurious comma.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jan 24 02:27:33 PST 2003 malcolm * Make export list H'98 compliant by removing a spurious comma. M ./src/hatlib/Hat/Hat.hs -1 +1

1 0

patch applied (hat): Fix an obscure bug with transitive import/export of instances through
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 22 08:58:58 PST 2003 malcolm * Fix an obscure bug with transitive import/export of instances through several modules. The fault was this: module W: defines class C, instance C T1, exports C module X: imports W, uses class C, does not explicitly export C or T1 module Y: imports X, re-exports X module Z: defines a function that implicitly uses instance C T1 The compiler complained that no such instance exists, even though it does. The interface file for Y was failing to record the instance C T1. Now, the interface file for X /does/ record the instance C T1, even though neither the type nor the class are explicitly exported, and this is correct. However, because the class C is mentioned only `implicitly' (i.e. non-exported) in X's interface, Y did not import C from X, and did not re-export it either, hence deciding that none of its instances were relevant. The fix is to export all the instances attached to an "InfoUsedClass" (i.e. one found in passing in an interface file but not imported) in addition to the instances attached to an "InfoClass" (i.e. classes that are really imported). M ./src/compiler98/Export.hs -11 +26 M ./src/compiler98/Info.hs +5

1 0

patch applied (hat): Use the standard sort function instead of our own version.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 21 23:07:01 PST 2003 nordin * Use the standard sort function instead of our own version. M ./src/compiler98/Case.hs -2 +2 M ./src/compiler98/Derive.hs -2 +6 M ./src/compiler98/MergeSort.hs -58 +3 M ./src/compiler98/PreImport.hs -3 +6 M ./src/compiler98/Scc.hs -1 M ./src/compiler98/TypeCtx.hs -2 +2

1 0

patch applied (hat): Added the application-of-function-of-known-arity optimisation to Hat.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jan 16 06:31:36 PST 2003 olaf * Added the application-of-function-of-known-arity optimisation to Hat. If a function of known arity n is applied to n arguments, then instead of the apn/uapn combinators the new appn/uappn combinators are used (0 < n <= 5). If function and application are trusted, then even only a uWrapForward combinator is used. All these combinators do not use the wrapper of a function, but directly the worker. Thus time for some wrapping and unwrapping is saved. With optimisation the same *.hat file is produced as without. A speedup of 15-20% was measured for adjoxo edgecorner1.in and mate ellerman. A hack is used to avoid ambiguous type variables in the transformed program: a type declaration of a function is transformed into type declarations for the wrapper function. There are no type declarations for worker functions, type inference might yield a rather general type and then direct use of a worker by the new combinators may yield to an ambiguous type variable error. Constructing a type declaration for a worker would be hard; in general it would be necessary to expand type synonyms. Hence the transformation adds a bogus last equation to the worker definition (because of "| False =" it can never be taken) which contains a call of the wrapper. Thus the worker inherits the type of its wrapper. A worker definition used to be local to its wrapper definition. Because workers may now be called directly, they are now defined in the same scope. The exceptions are class/instance methods, because no additional definitions are allowed there. However, workers of methods are never directly called anyway, because methods do not have a fixed arity. Corrected that the arity of the predefined function composition (.) had wrongly been set to 2 instead of 3. M ./src/hatlib/Hat/Hat.hs +87 M ./src/hatlib/PreludeBuiltinTypes.hx -21 +21 M ./src/hattrans/AuxFile.hs -37 +44 M ./src/hattrans/AuxLabelAST.hs -197 +220 M ./src/hattrans/AuxTypes.hs -3 +25 M ./src/hattrans/TraceDerive.hs -1 +3 M ./src/hattrans/TraceId.hs -56 +90 M ./src/hattrans/TraceTrans.hs -80 +133

1 0

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

10 Oct '06

Mon Jan 6 08:45:48 PST 2003 malcolm * Just whitespace. M ./src/compiler98/TypeUnify.hs -3 +1

1 0

patch applied (hat): Improve the error message for incorrect newtypes, e.g.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jan 6 08:45:22 PST 2003 malcolm * Improve the error message for incorrect newtypes, e.g. newtype N = N a b => Invalid rhs of newtype N, a newtype can rename only one type. M ./src/compiler98/RenameLib.hs +4

1 0

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

10 Oct '06

Mon Jan 6 08:43:51 PST 2003 malcolm * Just whitespace. M ./src/compiler98/MkSyntax.hs -5

1 0

patch applied (hat): Tweaks to make the hat libraries compile with nhc98.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jan 6 08:41:58 PST 2003 malcolm * Tweaks to make the hat libraries compile with nhc98. M ./src/hatlib/Foreign/Storable.hs +1 M ./src/hatlib/Makefile -8 +3

1 0

patch applied (hat): This new utility script is an attempt to gather together the list
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 20 10:20:29 PST 2002 malcolm * This new utility script is an attempt to gather together the list of directories that are part of the libraries hierarchy into a single place. This should make it easier to keep various Makefiles in sync with each other, once they all depend on this single listing. A ./script/pkgdirlist

1 0