April 2002 - Cvs-nhc98

Update hat-stack to the new file format (untested).
by malcolm＠sparud.net 16 Apr '02

16 Apr '02

malcolm: Tue Apr 16 17:37:56 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26198 Modified Files: hat-stack.c Makefile Log Message: Update hat-stack to the new file format (untested).

1 0

Correct bug in creating constructor with labelled fields f
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 17:34:05 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv26154/src/compiler98 Modified Files: TraceTrans.hs Log Message: Correct bug in creating constructor with labelled fields for new file format. Forgot to update use of "undefined" in the construction. All variables including those for constants take two arguments for source position and parent.

1 0

Correct bug in creating constructor with labelled fields f
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 17:34:05 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv26154/src/hat/lib Modified Files: hat.c Log Message: Correct bug in creating constructor with labelled fields for new file format. Forgot to update use of "undefined" in the construction. All variables including those for constants take two arguments for source position and parent.

1 0

Low-level routines for hat-trail are updated to new file f
by malcolm＠sparud.net 16 Apr '02

16 Apr '02

malcolm: Tue Apr 16 17:33:11 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26137 Added Files: artutils.c artutils.h Removed Files: utils.c utils.h Log Message: Low-level routines for hat-trail are updated to new file format.

1 0

The first updated tools for the new file format.
by malcolm＠sparud.net 16 Apr '02

16 Apr '02

malcolm: Tue Apr 16 17:31:50 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26111 Modified Files: Makefile hat-check.c hat-names.c Added Files: pathutils.c pathutils.h Log Message: The first updated tools for the new file format.

1 0

Correct bug in writing new node ValueApp.
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 16:51:29 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv25874/src/hat/lib Modified Files: hat.c Log Message: Correct bug in writing new node ValueApp. The HatCounter in hat.c was incorrectly computed. The correct trace is slightly smaller. 31701155 for Adjoxo < edgecorner1.in.

1 0

Generation of new Augmented Redex Trail file format.
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 15:58:49 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv25552/src/hat/lib Modified Files: Hat.hs PreludeBuiltin.hs TDirectoryBuiltin.hs TIOBuiltin.hs TPreludeBuiltinTypes.hs TRandomBuiltin.hs TSystemBuiltin.hs TTimeBuiltin.hs hat.c hat.h Log Message: Generation of new Augmented Redex Trail file format. Modified transformation, combinators and C-functions so that the portable transformation (not -T) now writes the new ART file format as described in Memo 31, Version 2. Works well for simple examples including Adjoxo. Still incomplete: implementation of several combinators (higher arity) still missing; interruption of computations impossible. No longer uses a SAT B/C stack, but updates result pointers immediately (entered and final result). Slower than previous portable version with ghc; adjoxo < edgecorner1.in: was: time 17s size 41444474B now: time 30s size 32370807B

1 0

Generation of new Augmented Redex Trail file format.
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 15:58:48 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv25552/src/compiler98 Modified Files: AuxLabelAST.hs Syntax.hs TraceDerive.hs TraceId.hs TraceTrans.hs Log Message: Generation of new Augmented Redex Trail file format. Modified transformation, combinators and C-functions so that the portable transformation (not -T) now writes the new ART file format as described in Memo 31, Version 2. Works well for simple examples including Adjoxo. Still incomplete: implementation of several combinators (higher arity) still missing; interruption of computations impossible. No longer uses a SAT B/C stack, but updates result pointers immediately (entered and final result). Slower than previous portable version with ghc; adjoxo < edgecorner1.in: was: time 17s size 41444474B now: time 30s size 32370807B

1 0

Generation of new Augmented Redex Trail file format.
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 15:58:47 CEST 2002 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv25552/include Modified Files: art.h Log Message: Generation of new Augmented Redex Trail file format. Modified transformation, combinators and C-functions so that the portable transformation (not -T) now writes the new ART file format as described in Memo 31, Version 2. Works well for simple examples including Adjoxo. Still incomplete: implementation of several combinators (higher arity) still missing; interruption of computations impossible. No longer uses a SAT B/C stack, but updates result pointers immediately (entered and final result). Slower than previous portable version with ghc; adjoxo < edgecorner1.in: was: time 17s size 41444474B now: time 30s size 32370807B

1 0

Remove dummy structs, and reformat for legibility.
by malcolm＠sparud.net 15 Apr '02

15 Apr '02

malcolm: Mon Apr 15 11:35:46 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv10325 Modified Files: hatinterface.c hatinterface.h Log Message: Remove dummy structs, and reformat for legibility.

1 0