January 2003 - Cvs-nhc98

Added the application-of-function-of-known-arity optimisat
by olaf＠sparud.net 16 Jan '03

16 Jan '03

olaf: Thu Jan 16 15:31:37 CET 2003 Update of /usr/src/master/nhc/src/hat/trans In directory hinken:/tmp/cvs-serv20926/src/hat/trans Modified Files: AuxFile.hs AuxLabelAST.hs AuxTypes.hs TraceDerive.hs TraceId.hs TraceTrans.hs Log Message: 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.

1 0

Added the application-of-function-of-known-arity optimisat
by olaf＠sparud.net 16 Jan '03

16 Jan '03

olaf: Thu Jan 16 15:31:35 CET 2003 Update of /usr/src/master/nhc/src/hat/lib/Hat In directory hinken:/tmp/cvs-serv20926/src/hat/lib/Hat Modified Files: Hat.hs Log Message: 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.

1 0

Added the application-of-function-of-known-arity optimisat
by olaf＠sparud.net 16 Jan '03

16 Jan '03

olaf: Thu Jan 16 15:31:35 CET 2003 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv20926/src/hat/lib Modified Files: PreludeBuiltinTypes.hx Log Message: 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.

1 0

Actually release the lock.
by nordin＠sparud.net 06 Jan '03

06 Jan '03

nordin: Tue Jan 7 02:25:44 CET 2003 Update of /usr/src/master/nhc/src/runtime/Builtin In directory hinken:/tmp/cvs-serv29475/src/runtime/Builtin Modified Files: cIOExtras.c Log Message: Actually release the lock.

1 0

succ and pred for Ratio types should add or subtract 1.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:48:40 CET 2003 Update of /usr/src/master/nhc/src/prelude/Ratio In directory hinken:/tmp/cvs-serv22762/src/prelude/Ratio Modified Files: Enum_Ratio.hs Log Message: succ and pred for Ratio types should add or subtract 1.

1 0

Just whitespace.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:45:48 CET 2003 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22685 Modified Files: TypeUnify.hs Log Message: Just whitespace.

1 0

Improve the error message for incorrect newtypes, e.g.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:45:22 CET 2003 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22647 Modified Files: RenameLib.hs Log Message: 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.

1 0

Just whitespace.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:43:51 CET 2003 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22613 Modified Files: MkSyntax.hs Log Message: Just whitespace.

1 0

Tweaks to make the hat libraries compile with nhc98.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:41:57 CET 2003 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv22546/lib Modified Files: Makefile Log Message: Tweaks to make the hat libraries compile with nhc98.

1 0

Tweaks to make the hat libraries compile with nhc98.
by malcolm＠sparud.net 06 Jan '03

06 Jan '03

malcolm: Mon Jan 6 17:41:58 CET 2003 Update of /usr/src/master/nhc/src/hat/lib/Foreign In directory hinken:/tmp/cvs-serv22546/lib/Foreign Modified Files: Storable.hs Log Message: Tweaks to make the hat libraries compile with nhc98.

1 0