October 2006 - Cvs-nhc98

patch applied (hat): Add new Hat tools for archive files:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 16 04:23:28 PST 2001 malcolm * Add new Hat tools for archive files: Programs are called hat-stack: gives a virtual stack trace from an error hat-connect: communicates with the Java browser A ./src/hattools/ A ./src/hattools/Makefile A ./src/hattools/Makefile.inc A ./src/hattools/browsercomms.c A ./src/hattools/browsercomms.h A ./src/hattools/hat-stack.c A ./src/hattools/minisocklib.c A ./src/hattools/nodecache.c A ./src/hattools/nodecache.h A ./src/hattools/utils.c A ./src/hattools/utils.h

1 0

patch applied (hat): Hat: Do not store import lists in the ModInfo table for a module.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 16 02:42:57 PST 2001 malcolm * Hat: Do not store import lists in the ModInfo table for a module. Storing import references forces the linker to add every single Prelude function into the final executable. We no longer use the import tables to find functions and adjust their trustedness at runtime, so carrying the dead code is no longer necessary. For the moment, the import list is still part of the C struct ModInfo, but in this change, we always fill it with a null list at compile time. M ./src/compiler98/DbgDumpSRIDTable.hs -1 +1 M ./src/compiler98/DbgDumpSRIDTableC.hs -1 +2

1 0

patch applied (hat): Bugfix: The previously committed infix precedence check only worked
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 13 08:24:30 PST 2001 malcolm * Bugfix: The previously committed infix precedence check only worked for left sections. This fix makes it work for right sections also. M ./src/compiler98/Fixity.hs +4

1 0

patch applied (hat): Bugfix. Operator sections suffered from priority inversion, for
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 13 07:21:37 PST 2001 malcolm * Bugfix. Operator sections suffered from priority inversion, for example (^2*3) was incorrectly parsed as (^(2*3)), even though ^ binds more tightly than *. This fix adds an inversion check and error message. M ./src/compiler98/Fixity.hs +28

1 0

patch applied (hat): Hat: Patch the archive file on an interrupt.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 12 08:35:22 PST 2001 malcolm * Hat: Patch the archive file on an interrupt. Implemented just like for pattern-match failure and black holes. Note that an interrupt really terminates the program, unlike with heap-based tracing, where the program could be resumed. M ./src/old/runtime/io.c -2 +15

1 0

patch applied (hat): Hat: add error-case hooks in archive file.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 12 08:17:58 PST 2001 malcolm * Hat: add error-case hooks in archive file. When terminating the program with an error, plant an error message and expression-root at the beginning of the archive file. This applies to pattern-match failures and black-holes at the moment. Interrupts are still to come. M ./src/old/runtime/browsercomms.c -2 +29 M ./src/old/runtime/io.c +5

1 0

patch applied (hat): Hat: Make a correct implementation of SATs B/C.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 12 08:15:30 PST 2001 malcolm * Hat: Make a correct implementation of SATs B/C. * For efficiency, SAT Bs are not written to file - they are kept in memory in a stack discipline. (Writing a SAT C == pop.) * Also for efficiency, SAT Cs are not written to file immediately. We keep a large buffer of them, then write all at once. The SAT C now overwrites its SAT A in the file, as it should do. * On termination, we need to ripple through any remaining SAT Bs and SAT Cs, making a final patch-up to the file. At this point, we /do/ overwrite SAT As with SAT Bs, for black-hole detection. M ./src/old/runtime/fileformat.c -27 +85 M ./src/old/runtime/fileformat.h -3 +5

1 0

patch applied (hat): Hat: speed up file archiving by 40%.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 9 08:38:00 PST 2001 malcolm * Hat: speed up file archiving by 40%. I discovered that ftell() is extremely expensive. Replace most calls to ftell() with an internal counter to track the position in the file. M ./src/old/runtime/fileformat.c -75 +80

1 0

patch applied (hat): Hat: Generate bytecode SEQ for fn seq -> _seq.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 6 02:44:53 PST 2001 malcolm * Hat: Generate bytecode SEQ for fn seq -> _seq. For ordinary compilation, this is just an internal renaming change. For tracing, it means we can now really use the bytecode rather than introducing a superfluous C primitive. M ./src/compiler98/PrimCode.hs -1 +1

1 0

patch applied (hat): Hat: Replace output-trace links in memory with file archives.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 5 10:38:59 PST 2001 malcolm * Hat: Replace output-trace links in memory with file archives. * The file outputtrace.c is now obsolete. * Output chars now get copied to the HatOutput file. * Traces for output chars now get written to the HatBridge file. Also, some minor changes to the C typedefs CNmType CTrace. M ./src/old/runtime/Makefile -2 +2 M ./src/old/runtime/browsercomms.c -3 +2 M ./src/old/runtime/fileformat.c -31 +33 M ./src/old/runtime/fileformat.h -25 +27 M ./src/old/runtime/getconstr.c -5 +5 M ./src/old/runtime/getconstr.h -4 +5 M ./src/old/runtime/io.c -10 +20 M ./src/old/runtime/outputtrace.c +6 M ./src/old/runtime/ui.h -2 +3

1 0