October 2006 - Cvs-nhc98

patch applied (hat): Pretty-printer needs a space between data decl and `deriving' clause.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 09:17:24 PST 2001 malcolm * Pretty-printer needs a space between data decl and `deriving' clause. M ./src/compiler98/PrettySyntax.hs -1 +2

1 0

patch applied (hat): Improve error messages: use a space as well as a comma between
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 09:16:41 PST 2001 malcolm * Improve error messages: use a space as well as a comma between line/column positions when several are mentioned. M ./src/compiler98/Overlap.hs -3 +3

1 0

patch applied (hat): Fix bug whereby the following module failed to compile.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 09:14:46 PST 2001 malcolm * 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. M ./src/compiler98/MkSyntax.hs -2 +2

1 0

patch applied (hat): Add comments explaining infix resolution.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 09:10:25 PST 2001 malcolm * Add comments explaining infix resolution. M ./src/compiler98/AuxFixity.hs -84 +103 M ./src/hattrans/AuxFixity.hs -84 +103

1 0

patch applied (hat): Added modules to obtain a trusted tracing Prelude and module Char.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 08:44:58 PST 2001 olaf * 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. M ./src/compiler98/AuxFile.hs -6 +1 M ./src/compiler98/AuxFixity.hs -4 +14 M ./src/compiler98/AuxLabelAST.hs -4 +5 M ./src/compiler98/Bind.hs -4 +4 M ./src/compiler98/Case.hs -2 +2 M ./src/compiler98/DbgDataTrans.hs -3 +3 M ./src/compiler98/DbgTrans.hs -5 +5 M ./src/compiler98/Extract.hs -4 +4 M ./src/compiler98/FFITrans.hs -4 +4 M ./src/compiler98/FixSyntax.hs -2 +2 M ./src/compiler98/Need.hs -4 +4 M ./src/compiler98/Parse.hs -8 +13 M ./src/compiler98/ParseLex.hs -2 +2 M ./src/compiler98/PrettySyntax.hs -8 +10 M ./src/compiler98/Rename.hs -4 +4 M ./src/compiler98/SccModule.hs -4 +4 M ./src/compiler98/Syntax.hs -3 +6 M ./src/compiler98/SyntaxPos.hs -2 +2 M ./src/compiler98/TokenId.hs -1 +1 M ./src/compiler98/TraceTrans.hs -23 +133 M ./src/compiler98/Type.hs -4 +4 A ./src/hatlib/Char.hs M ./src/hatlib/Hat.hs -1 +13 R ./src/hatlib/IOPrimitives.hs A ./src/hatlib/Prelude.hs A ./src/hatlib/PreludeBasic.hs A ./src/hatlib/PreludeBuiltin.hs R ./src/hatlib/Primitives.hs M ./src/hatlib/TPrelude.hs -20 +18 A ./src/hatlib/TPreludeBuiltinTypes.hs M ./src/hattrans/AuxFile.hs -6 +1 M ./src/hattrans/AuxFixity.hs -4 +14 M ./src/hattrans/AuxLabelAST.hs -4 +5 M ./src/hattrans/TraceTrans.hs -23 +133

1 0

patch applied (hat): A quick hack to allow the use of qualified names in a module which
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 14 06:24:10 PST 2001 malcolm * A quick hack to allow the use of qualified names in a module which is being transformed by the new portable Hat. M ./src/compiler98/AuxLabelAST.hs -2 +9 M ./src/hattrans/AuxLabelAST.hs -2 +9

1 0

patch applied (hat): Accept `module M (,) where' and `import M (,)' as valid Haskell' 98.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Dec 10 04:07:56 PST 2001 malcolm * Accept `module M (,) where' and `import M (,)' as valid Haskell'98. M ./src/compiler98/Parse2.hs -2 +5

1 0

patch applied (hat): Tidy-up and remove some redundant computation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Dec 3 08:44:19 PST 2001 malcolm * Tidy-up and remove some redundant computation. M ./src/compiler98/PreImport.hs -32 +22

1 0

patch applied (hat): Fix a problem with transforming the unit type ().
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Nov 28 10:46:29 PST 2001 malcolm * Fix a problem with transforming the unit type (). M ./src/compiler98/TraceTrans.hs -4 +5 M ./src/hatlib/TPrelude.hs -4 +4 M ./src/hattrans/TraceTrans.hs -4 +5

1 0

patch applied (hat): Modified portable transformation so that untraced computations do not write any source references into the trace.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Nov 26 11:22:06 PST 2001 olaf * Modified portable transformation so that untraced computations do not write any source references into the trace. M ./src/compiler98/TraceTrans.hs -28 +33 M ./src/hattrans/TraceTrans.hs -28 +33

1 0