June 2007 - Cvs-nhc98

patch applied (yhc): Fix the sconscript in another place to get the uniplate change going through (note to self - always try actually compiling)
by Neil Mitchell 15 Jun '07

15 Jun '07

Fri Jun 15 13:29:49 PDT 2007 Neil Mitchell * Fix the sconscript in another place to get the uniplate change going through (note to self - always try actually compiling) M ./Sconstruct -2 +2 M ./build/SConscript.depends -2 +1

1 0

patch applied (yhc): Remove the code to download and demand Play
by Neil Mitchell 15 Jun '07

15 Jun '07

Fri Jun 15 13:12:30 PDT 2007 Neil Mitchell * Remove the code to download and demand Play R ./build/SConscript.play M ./build/bootstrap.py -1 M ./build/depends.py -5

1 0

patch applied (yhc): Delete Play2, use Uniplate instead
by Neil Mitchell 15 Jun '07

15 Jun '07

Fri Jun 15 13:11:02 PDT 2007 Neil Mitchell * Delete Play2, use Uniplate instead R ./src/libraries/core/Yhc/Core/Play2.hs

1 0

patch applied (yhc): Change from using Play2 to using Uniplate, fixing up all the names to the final versions
by Neil Mitchell 15 Jun '07

15 Jun '07

Fri Jun 15 13:10:07 PDT 2007 Neil Mitchell * Change from using Play2 to using Uniplate, fixing up all the names to the final versions M ./src/libraries/core/Yhc/Core/CaseElimination.hs -2 +2 M ./src/libraries/core/Yhc/Core/FreeVar2.hs -8 +8 M ./src/libraries/core/Yhc/Core/Inline.hs -5 +5 M ./src/libraries/core/Yhc/Core/Invariant.hs -7 +7 M ./src/libraries/core/Yhc/Core/Overlay.hs -2 +2 M ./src/libraries/core/Yhc/Core/Reachable.hs -3 +3 M ./src/libraries/core/Yhc/Core/RecursiveLet.hs -2 +2 M ./src/libraries/core/Yhc/Core/Simplify.hs -11 +11

1 0

patch applied (nhc98): Translate pattern guards to PosLambda code.
by Malcolm Wallace 08 Jun '07

08 Jun '07

Fri Jun 8 08:13:58 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * Translate pattern guards to PosLambda code. The pattern-matching case-transformation is slightly tricky, but seems to work. M ./src/compiler98/Case.hs -4 +25

1 0

patch applied (nhc98): test for pattern guards
by Malcolm Wallace 08 Jun '07

08 Jun '07

Thu Jun 7 02:42:37 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * test for pattern guards A ./tests/conformance-prime/ A ./tests/conformance-prime/PatternGuards/ A ./tests/conformance-prime/PatternGuards/Main.hs A ./tests/conformance-prime/PatternGuards/patguards.stdout

1 0

patch applied (nhc98): Thread pattern guards through the rest of the compiler
by Malcolm Wallace 07 Jun '07

07 Jun '07

Thu Jun 7 01:58:02 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * Thread pattern guards through the rest of the compiler as far as the 'Case' pattern-matching translation phase (which is not yet implemented). M ./src/compiler98/Case.hs +3 M ./src/compiler98/CaseLib.hs -1 +2 M ./src/compiler98/Extract.hs -3 +13 M ./src/compiler98/FixSyntax.hs -1 +13 M ./src/compiler98/Rename.hs -1 +34 M ./src/compiler98/RmClasses.hs +2 M ./src/compiler98/SccModule.hs +11 M ./src/compiler98/SyntaxPos.hs +7 M ./src/compiler98/Type.hs -1 +24 M ./src/compiler98/TypeLib.hs -1 +8

1 0

patch applied (nhc98): Parse and pretty-print pattern guards.
by Malcolm Wallace 06 Jun '07

06 Jun '07

Wed Jun 6 10:10:53 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * Parse and pretty-print pattern guards. But there is no desugaring of them yet, so compilation will fail with a nasty internal error message. M ./src/compiler98/Need.hs +2 M ./src/compiler98/Parse.hs +8 M ./src/compiler98/PrettySyntax.hs +4 M ./src/compiler98/Syntax.hs +2

1 0

patch applied (nhc98): add type signatures (only)
by Malcolm Wallace 06 Jun '07

06 Jun '07

Wed Jun 6 10:09:59 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * add type signatures (only) M ./src/compiler98/Info.hs +7 M ./src/compiler98/Syntax.hs -1 +4

1 0

patch applied (nhc98): Desugaring of comprehensions and enumerations moves from parser to renamer.
by Malcolm Wallace 06 Jun '07

06 Jun '07

Wed Jun 6 10:02:19 PDT 2007 Malcolm.Wallace(a)cs.york.ac.uk * Desugaring of comprehensions and enumerations moves from parser to renamer. Keeping the list-like sugar was a feature added by HPC, now merged back into the main nhc98 tree. But HPC never desugared them afterwards, which nhc98 must now do in the renamer (in order to avoid getting mixed up in the type checker.) M ./src/compiler98/Bind.hs +2 M ./src/compiler98/MkSyntax.hs -1 +38 M ./src/compiler98/Need.hs -1 +18 M ./src/compiler98/Parse.hs -3 +46 M ./src/compiler98/PrettySyntax.hs -3 +41 M ./src/compiler98/Rename.hs +4 M ./src/compiler98/Syntax.hs -2 +8 M ./src/compiler98/SyntaxPos.hs +4 M ./src/compiler98/TokenInt.hs -2 +5

1 0