- Cvs-nhc98 - Haskell.org

Enabled interruption of computation in tracing with new fi
by olaf＠sparud.net 16 Apr '02

16 Apr '02

olaf: Tue Apr 16 18:00:23 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv26371/src/hat/lib Modified Files: hat.c Log Message: Enabled interruption of computation in tracing with new file format. The header marks interrution as decribed in Memo 31. Interruption can only happen when a reduction or a Forward node is entered. So a trusted or foreign computation cannot be interrupted.

1 0

Introduce node type ExpValueApp to low-level routines for
by malcolm＠sparud.net 16 Apr '02

16 Apr '02

malcolm: Tue Apr 16 17:59:50 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26342 Modified Files: artutils.c Log Message: Introduce node type ExpValueApp to low-level routines for hat-trail.

1 0

Add node type ExpValueApp to hat-check.
by malcolm＠sparud.net 16 Apr '02

16 Apr '02

malcolm: Tue Apr 16 17:44:22 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26249 Modified Files: hat-check.c Log Message: Add node type ExpValueApp to hat-check.

1 0

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