October 2006 - Cvs-nhc98

patch applied (hat): Comment out simple debugging printf.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Sep 14 10:08:16 PDT 2000 malcolm * Comment out simple debugging printf. M ./src/compiler98/FixSyntax.hs -1 +1

1 0

patch applied (hat): Changes to literal Rationals for tracing. They now work in expressions,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 1 07:59:37 PDT 2000 malcolm * Changes to literal Rationals for tracing. They now work in expressions, but not yet in patterns. M ./src/compiler98/Case.hs -9 +8 M ./src/compiler98/DbgId.hs +1 M ./src/compiler98/FixSyntax.hs -30 +86 M ./src/compiler98/TokenId.hs +2

1 0

patch applied (hat): Add parsing of {-# pragmas #-} in ordinary source code. They are ignored,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 1 07:58:40 PDT 2000 malcolm * Add parsing of {-# pragmas #-} in ordinary source code. They are ignored, but must be accepted without complaint. M ./src/compiler98/Parse.hs +2 M ./src/compiler98/Parse2.hs -8 +16

1 0

patch applied (hat): Add option -showtype to compiler. Effect: just reports the type of " main"
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 1 07:57:35 PDT 2000 malcolm * Add option -showtype to compiler. Effect: just reports the type of "main" and does not generate any code. M ./src/compiler98/Flags.hs -66 +71 M ./src/compiler98/TypeLib.hs -23 +35 M ./src/hattrans/Flags.hs -66 +71

1 0

patch applied (hat): Allow browser to see Floats and Doubles.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 22 04:42:50 PDT 2000 malcolm * Allow browser to see Floats and Doubles. M ./src/old/runtime/io.c +14

1 0

patch applied (hat): Small changes towards getting traced-numerics to work. In a Fractional
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 22 02:52:05 PDT 2000 malcolm * Small changes towards getting traced-numerics to work. In a Fractional context where the type is unknown, we can't resolve a literal to either Float or Double at compile-time, so we have to generate `fromRational l' where the literal l is a constructed Rational. Unfortunately, traced Rationals have a pretty complex structure, so we have to augment the auxiliary `conRational' with extra arguments in order to build the traced literal Rational correctly. It still doesn't work though. :-( M ./src/compiler98/Case.hs -3 +2 M ./src/compiler98/DbgId.hs +1 M ./src/compiler98/FixSyntax.hs -23 +43 M ./src/compiler98/STGState.hs -1 +4

1 0

patch applied (hat): Removed bug that tracing did not handle newtype.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Aug 18 11:09:26 PDT 2000 olaf * Removed bug that tracing did not handle newtype. The problem was that the compiler replaces the data constructor defined by a newtype by the function id (if the data constructor has no arguments, which is always the case after the tracing transformation). This function id was however the transformed function, that is, it was no longer the simple identity. To solve the problem I introduced a new function _id in the Prelude which is not transformed and can hence be used to replace the data constructor. Also added type declarations and comments. M ./src/compiler98/DbgDataTrans.hs -1 +6 M ./src/compiler98/FSLib.hs -13 +43 M ./src/compiler98/FixSyntax.hs -8 +59 M ./src/compiler98/Main.hs +1 M ./src/compiler98/Remove1_3.hs -19 +66 M ./src/compiler98/Rename.hs -1 +3 M ./src/compiler98/TokenId.hs -1 +13 M ./src/compiler98/TokenInt.hs -4 +34 M ./src/compiler98/TypeData.hs -4 +14 M ./src/old/runtime/io.c +1

1 0

patch applied (hat): Introduced DbgDataTransMonad as type synonym in module DbgDataTrans.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 17 10:07:57 PDT 2000 olaf * Introduced DbgDataTransMonad as type synonym in module DbgDataTrans. Added type declarations and comments. M ./src/compiler98/DbgDataTrans.hs -49 +108 M ./src/compiler98/DbgTrans.hs -10 +14 M ./src/compiler98/Info.hs -5 +16 M ./src/compiler98/Main.hs -3 +5 M ./src/compiler98/NT.hs -12 +34 M ./src/compiler98/RenameLib.hs -17 +48 M ./src/compiler98/Syntax.hs -2 +3

1 0

patch applied (hat): Change " show prim" to " unpackPS prim" for hbc (which doesn' t seem to have
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 16 06:34:14 PDT 2000 malcolm * Change "show prim" to "unpackPS prim" for hbc (which doesn't seem to have a Show instance for PackedStrings. M ./src/compiler98/StrSyntax.hs -1 +3

1 0

patch applied (hat): Introduced DbgTransMonad as type synonym in module DbgTrans.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 15 09:30:05 PDT 2000 olaf * Introduced DbgTransMonad as type synonym in module DbgTrans. Made a few minor simplifications (removed unused arguments). Added type declarations and comments. M ./src/compiler98/DbgDataTrans.hs -5 +5 M ./src/compiler98/DbgDumpSRIDTable.hs -2 +8 M ./src/compiler98/DbgDumpSRIDTableC.hs -1 +8 M ./src/compiler98/DbgTrans.hs -53 +132 M ./src/compiler98/EmitState.hs -2 +4 M ./src/compiler98/IExtract.hs +12 M ./src/compiler98/Info.hs -30 +40 M ./src/compiler98/Main.hs -17 +19 M ./src/compiler98/MkSyntax.hs -4 +32 M ./src/compiler98/Parse.hs -66 +117 M ./src/compiler98/Rename.hs -55 +179 M ./src/compiler98/RenameLib.hs -60 +195 M ./src/compiler98/Syntax.hs -9 +27

1 0