March 2002 - Cvs-nhc98

Portable Tracing: added more standard libraries and derivi
by olaf＠sparud.net 11 Mar '02

11 Mar '02

olaf: Mon Mar 11 21:58:16 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv707/src/compiler98 Modified Files: TraceDerive.hs TraceId.hs TraceTrans.hs Log Message: Portable Tracing: added more standard libraries and deriving of Ix.

1 0

Portable Tracing: added more standard libraries and derivi
by olaf＠sparud.net 11 Mar '02

11 Mar '02

olaf: Mon Mar 11 21:58:17 CET 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv707/src/hat/lib Modified Files: Hat.hs Makefile Added Files: ArrayTracing.hs IOBuiltin.hx IOBuiltinTypes.hs IOTracing.hs IxTracing.hs TIOBuiltin.hs Log Message: Portable Tracing: added more standard libraries and deriving of Ix.

1 0

Update the Hat User Guide, mainly to reflect the new hat-t
by malcolm＠sparud.net 11 Mar '02

11 Mar '02

malcolm: Mon Mar 11 15:32:54 CET 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv27393 Modified Files: hatuser.tex Log Message: Update the Hat User Guide, mainly to reflect the new hat-trail, but also to document changes in command syntax for hat-observe and hat-detect.

1 0

Minor doc updates on Hat limitations.
by malcolm＠sparud.net 08 Mar '02

08 Mar '02

malcolm: Fri Mar 8 15:45:28 CET 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv3636 Modified Files: browser-detail.html limitations.html Log Message: Minor doc updates on Hat limitations.

1 0

Added missing instance Ix () in nhc98 standard libraries.
by olaf＠sparud.net 08 Mar '02

08 Mar '02

olaf: Fri Mar 8 13:10:05 CET 2002 Update of /usr/src/master/nhc/src/prelude/Ix In directory hinken:/tmp/cvs-serv1107 Modified Files: Ix.hs Makefile Added Files: Ix_0.hs Log Message: Added missing instance Ix () in nhc98 standard libraries.

1 0

For portable tracing: completed Prelude and added the easy
by olaf＠sparud.net 08 Mar '02

08 Mar '02

olaf: Fri Mar 8 12:41:52 CET 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv583/src/hat/lib Modified Files: Makefile PreludeBasic.hs Added Files: ComplexTracing.hs MaybeTracing.hs MonadTracing.hs NumericTracing.hs RatioTracing.hs Log Message: For portable tracing: completed Prelude and added the easy standard libraries.

1 0

For portable tracing: completed Prelude and added the easy
by olaf＠sparud.net 08 Mar '02

08 Mar '02

olaf: Fri Mar 8 12:41:50 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv583/src/compiler98 Modified Files: HatTrans.hs TokenId.hs TraceTrans.hs Log Message: For portable tracing: completed Prelude and added the easy standard libraries.

1 0

Implemented deriving mechanism for portable tracing.
by olaf＠sparud.net 07 Mar '02

07 Mar '02

olaf: Thu Mar 7 18:58:15 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22528/src/compiler98 Modified Files: AuxTypes.hs PrettySyntax.hs Syntax.hs TokenId.hs TraceDerive.hs TraceId.hs TraceTrans.hs Log Message: Implemented deriving mechanism for portable tracing. Restriction: The context of a derived class is not obtained by context reduction as it should be, because that would require reimplementing major parts of type inference and would need access to all visible classes, instances and type synonyms. Instead the canoncial context, i.e. the class applied to every type variable of the instance type, is used. That always works if all instances used by an instance are also derived, and for all "reasonable" user defined ones. Difference: Show and Read are implemented as outlined in recent mail to Simon, different from implementation used by all Haskell compilers. These instances are far more sensible. Deriving of Ix has not yet been implemented, because that library does not yet exist. In PreludeBasic some functions are defined that are used by the derived code. The idea is that all identifiers introduced by the transformation should be imported qualified from PreludeBasic. Even those that are also exported by Prelude, because the user may hide the Prelude (not yet realised for old code). This extension requires retransformation of the Prelude and its parts.

1 0

Implemented deriving mechanism for portable tracing.
by olaf＠sparud.net 07 Mar '02

07 Mar '02

olaf: Thu Mar 7 18:58:16 CET 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv22528/src/hat/lib Modified Files: PreludeBasic.hs Log Message: Implemented deriving mechanism for portable tracing. Restriction: The context of a derived class is not obtained by context reduction as it should be, because that would require reimplementing major parts of type inference and would need access to all visible classes, instances and type synonyms. Instead the canoncial context, i.e. the class applied to every type variable of the instance type, is used. That always works if all instances used by an instance are also derived, and for all "reasonable" user defined ones. Difference: Show and Read are implemented as outlined in recent mail to Simon, different from implementation used by all Haskell compilers. These instances are far more sensible. Deriving of Ix has not yet been implemented, because that library does not yet exist. In PreludeBasic some functions are defined that are used by the derived code. The idea is that all identifiers introduced by the transformation should be imported qualified from PreludeBasic. Even those that are also exported by Prelude, because the user may hide the Prelude (not yet realised for old code). This extension requires retransformation of the Prelude and its parts.

1 0

Rename HatExplore.hs to HatTrail.hs.
by malcolm＠sparud.net 07 Mar '02

07 Mar '02

malcolm: Thu Mar 7 13:03:07 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv20650 Modified Files: Makefile Added Files: HatTrail.hs Removed Files: HatExplore.hs Log Message: Rename HatExplore.hs to HatTrail.hs.

1 0