June 2001 - Cvs-nhc98

Corrected IO for tracing.
by olaf＠sparud.net 29 Jun '01

29 Jun '01

olaf: Fri Jun 29 19:25:08 CEST 2001 Update of /usr/src/master/nhc/src/prelude/IO In directory hinken:/tmp/cvs-serv14691 Modified Files: HGetChar.hs HGetContents.hs HPutChar.hs Log Message: Corrected IO for tracing. In tracing cafs that read input always returned the same input and hence even getLine didn't work. This was because of insufficient threading of the world. Now it works.

1 0

Ensure that the nhc98 script stops cleanly after calling
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:43:30 CEST 2001 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv14458 Modified Files: nhc98.inst Log Message: Ensure that the nhc98 script stops cleanly after calling the compiler, if the -hx flag was given.

1 0

Add .hx files for all the standard libraries.
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:42:02 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv14435 Added Files: Array.hx BinArray.hx Binary.hx Bit.hx CPUTime.hx Char.hx Complex.hx Directory.hx FFI.hx FFIBuiltin.hx GreenCard.hx Haskell.hx IO.hx IOExtras.hx Ix.hx List.hx Locale.hx Maybe.hx Monad.hx NonStdTrace.hx Numeric.hx PackedString.hx Prelude.hx PreludeBuiltin.hx Random.hx Ratio.hx System.hx Time.hx Log Message: Add .hx files for all the standard libraries.

1 0

(no subject)
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:40:45 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14384 Modified Files: Flags.hs Main.hs Makefile OsOnly.hs PrettySyntax.hs Added Files: AuxFile.hs AuxFixity.hs AuxLabelAST.hs TraceId.hs Log Message: -------------------------------------------------------------- Portability: preparation for moving the tracing transformation to an early phase of the compiler. ---------------------------------- The tracing transformation will eventually move from its current position to be just after lexing/parsing. This commit prepares the ground in various ways for that move. * There is a new "auxiliary" information file generated for every module. Its extension is .hx, and it holds arity and fixity information for every exported identifier. This means that imports must be chased to read .hx files (separate from the ordinary .hi file chasing). * There is a new type TraceId, which associates the current TokenId type with auxiliary information about arity and let/lambda-bound. * The new compiler flag -hx causes .hx information to be generated, and the abstract syntax tree to be completely relabelled from TokenIds to TraceIds. (The relabelling also sorts out fixity, so that all ambiguous infix expressions are changed to simple applications.) * At the moment, with the -hx flag, the compiler simply pretty-prints the relabelled syntax tree and then stops. The /plan/ is that the tracing transformation will take the relabelled tree as input and generate a new syntax tree, with the type dropped back down to simple TokenIds. This tree could then either be pretty-printed for input to another compiler, or simply carried on through the normal nhc98 middle and back end. Issues still to be addressed: * The .hx information currently takes no account of qualified identifiers. * Class methods have no arity information.

1 0

Accept an infix decl within a class decl.
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:17:19 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14361 Modified Files: Parse.hs Log Message: Accept an infix decl within a class decl.

1 0

Export the function `readFirst', which is useful elsewhere
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:16:01 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14345 Modified Files: Import.hs Log Message: Export the function `readFirst', which is useful elsewhere.

1 0

Fix an incorrect type signature.
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:15:07 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14329 Modified Files: GcodeFix.hs Log Message: Fix an incorrect type signature.

1 0

Add type signatures.
by malcolm＠sparud.net 29 Jun '01

29 Jun '01

malcolm: Fri Jun 29 16:14:02 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14309 Modified Files: AssocTree.hs Log Message: Add type signatures.

1 0

Fixed dependencies in Makefile.
by thorsten＠sparud.net 27 Jun '01

27 Jun '01

thorsten: Wed Jun 27 19:38:26 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv7436 Modified Files: Makefile Log Message: Fixed dependencies in Makefile.

1 0

First (preliminary) version of haskell interface and Hatob
by thorsten＠sparud.net 27 Jun '01

27 Jun '01

thorsten: Wed Jun 27 19:30:42 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv7407 Modified Files: Expressions.c Makefile detect.c detect.h hat-checki.c hat-detect.c hat-observe.c hatfile.h hatinterface.c hatinterface.h observe.c Added Files: HatExpression.hs HatTrace.gc HatTrace.hs HatTrie.hs Hatobserve.hs Log Message: First (preliminary) version of haskell interface and Hatobserve for Haskell.

1 0