December 2001 - Cvs-nhc98

Tracing prelude did not export readIO, readLn, and appendF
by malcolm＠sparud.net 17 Dec '01

17 Dec '01

malcolm: Mon Dec 17 12:36:26 CET 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv28442 Modified Files: Prelude.T.hi Log Message: Tracing prelude did not export readIO, readLn, and appendFile.

1 0

Added Thorsten's master thesis to the Hat webpage.
by olaf＠sparud.net 14 Dec '01

14 Dec '01

olaf: Fri Dec 14 19:37:02 CET 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv3752 Modified Files: index.html Added Files: toolkitThesis.ps.gz Log Message: Added Thorsten's master thesis to the Hat webpage.

1 0

Improve error messages.
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:19:00 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3321 Modified Files: Flags.hs MainNew.hs Log Message: Improve error messages.

1 0

Improve error messages.
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:18:06 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3302 Modified Files: TypeLib.hs Log Message: Improve error messages.

1 0

Pretty-printer needs a space between data decl and `derivi
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:17:24 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3286 Modified Files: PrettySyntax.hs Log Message: Pretty-printer needs a space between data decl and `deriving' clause.

1 0

Improve error messages: use a space as well as a comma bet
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:16:41 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3262 Modified Files: Overlap.hs Log Message: Improve error messages: use a space as well as a comma between line/column positions when several are mentioned.

1 0

Fix bug whereby the following module failed to compile.
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:14:46 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3229 Modified Files: MkSyntax.hs Log Message: Fix bug whereby the following module failed to compile. data Foo = Foo Int Bar deriving Show data Bar = Bar Int Int deriving Show a `Foo` (b `Bar` c) = 3 `Foo` (4 `Bar` 5) The explicit associativity of the LHS pattern was being lost.

1 0

Add comments explaining infix resolution.
by malcolm＠sparud.net 14 Dec '01

14 Dec '01

malcolm: Fri Dec 14 18:10:26 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3195 Modified Files: AuxFixity.hs Log Message: Add comments explaining infix resolution.

1 0

Added modules to obtain a trusted tracing Prelude and modu
by olaf＠sparud.net 14 Dec '01

14 Dec '01

olaf: Fri Dec 14 17:44:58 CET 2001 Update of /usr/src/master/nhc/src/prelude/Hat In directory hinken:/tmp/cvs-serv3026/src/prelude/Hat Modified Files: Hat.hs TPrelude.hs Added Files: CharTracing.hs PreludeBasic.hs PreludeBuiltin.hs PreludeTracing.hs TPreludeBuiltinTypes.hs Removed Files: Char.hs IO.hs IOPrimitives.hs Numeric.hs Prelude.hs Primitives.hs Ratio.hs Log Message: Added modules to obtain a trusted tracing Prelude and module Char. (Removed previous Prelude modules added by Malcolm.) Extended the transformation to build tracing wrappers to Haskell functions from foreign haskell declarations. Corrected small bugs in pretty printing. Purpose of new modules: TPreludeBuiltinTypes.hs (imports Hat and original Prelude) Tracing version of types that are not definable in Haskell or are used by functions that are not definable in Haskell PreludeBuiltin.hs (imports PreludeBuiltinTypes and original Char) Contains foreign haskell declarations for all functions not (portably) definable in Haskell. Has to be transformed into TPreludeBuiltin.hs PreludeBasic.hs (imports PreludeBuiltin) Contains all parts of the Prelude and Char (both are mutually recursive) that can be expressed in Haskell (assuming nhc98's ability to derive instances of [],(,,,) etc). Has to be transformed into TPreludeBasic.hs PreludeTracing.hs (imports PreludeBasic) Wrapper that exports just the stuff normally defined in the Prelude. Has to be transformed into TPreludeTracing.hs and renamed to TPrelude.hs. The original name cannot be Prelude.hs because then nhc98 confuses it with the original Prelude. CharTracing.hs (imports PreludeBasic) Like PreludeTracing.hs, but for the standard library module Char. Currently the transformation falls over module PreludeBasic, the preceeding ones can be transformed/compiled. The division between modules Hat and TPreludeBuiltinTypes and arbitrary and there is some redundancy. In the future contents may be exchanged. Module TPrelude needs to be removed when this Prelude generation mechanism works. Currently it is still there and the Makefile compiles it.

1 0

Added modules to obtain a trusted tracing Prelude and modu
by olaf＠sparud.net 14 Dec '01

14 Dec '01

olaf: Fri Dec 14 17:44:55 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3026/src/compiler98 Modified Files: AuxFile.hs AuxFixity.hs AuxLabelAST.hs Bind.hs Case.hs DbgDataTrans.hs DbgTrans.hs Extract.hs FFITrans.hs FixSyntax.hs Need.hs Parse.hs ParseLex.hs PrettySyntax.hs Rename.hs SccModule.hs Syntax.hs SyntaxPos.hs TokenId.hs TraceTrans.hs Type.hs Log Message: Added modules to obtain a trusted tracing Prelude and module Char. (Removed previous Prelude modules added by Malcolm.) Extended the transformation to build tracing wrappers to Haskell functions from foreign haskell declarations. Corrected small bugs in pretty printing. Purpose of new modules: TPreludeBuiltinTypes.hs (imports Hat and original Prelude) Tracing version of types that are not definable in Haskell or are used by functions that are not definable in Haskell PreludeBuiltin.hs (imports PreludeBuiltinTypes and original Char) Contains foreign haskell declarations for all functions not (portably) definable in Haskell. Has to be transformed into TPreludeBuiltin.hs PreludeBasic.hs (imports PreludeBuiltin) Contains all parts of the Prelude and Char (both are mutually recursive) that can be expressed in Haskell (assuming nhc98's ability to derive instances of [],(,,,) etc). Has to be transformed into TPreludeBasic.hs PreludeTracing.hs (imports PreludeBasic) Wrapper that exports just the stuff normally defined in the Prelude. Has to be transformed into TPreludeTracing.hs and renamed to TPrelude.hs. The original name cannot be Prelude.hs because then nhc98 confuses it with the original Prelude. CharTracing.hs (imports PreludeBasic) Like PreludeTracing.hs, but for the standard library module Char. Currently the transformation falls over module PreludeBasic, the preceeding ones can be transformed/compiled. The division between modules Hat and TPreludeBuiltinTypes and arbitrary and there is some redundancy. In the future contents may be exchanged. Module TPrelude needs to be removed when this Prelude generation mechanism works. Currently it is still there and the Makefile compiles it.

1 0