July 2001 - Cvs-nhc98

Add new trace transformation phase (just after parsing)
by olaf＠sparud.net 25 Jul '01

25 Jul '01

olaf: Wed Jul 25 15:17:09 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14588/src/compiler98 Modified Files: DbgDataTrans.hs Main.hs Remove1_3.hs TokenId.hs TokenInt.hs TraceId.hs Added Files: TraceTrans.hs Log Message: Add new trace transformation phase (just after parsing) The new module TraceTrans is a completely rewritten version of DbgDataTrans and DbgTrans. If you call nhc with -hx it will, after parsing, read and write the .hx files, then apply the new transformation and finally pretty print the result of the transformation. Nearly all names are prefixed by a character. Note that the new transformation only is for untrusted traced modules. Until a wrapping scheme for trusted modules makes the prelude available, the transformation cannot be properly trusted. The transformation also needs some new trace generating combinators that are not yet implemented: mkModule, mkPos, mkAtomId It also assumes that all combinators are imported from module "T", not the prelude any more (but easy to change for testing). A few language constructs are still missing, but it should yield syntactically correct transformed Haskell programs for most input. To handle imports (and exports) of the form TyCon(..) correctly, TraceId should provide an additinal function tyConDataCons :: TraceId -> Maybe [TraceId] that returns the data constructors for a type constructors, if the traceId is a type constructor and all data constructors are exported.

1 0

- Fixed space leak in Expressions.c
by thorsten＠sparud.net 23 Jul '01

23 Jul '01

thorsten: Mon Jul 23 20:32:54 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv1285 Modified Files: Expressions.c hashtable.c hat-observe.c observe.c Log Message: - Fixed space leak in Expressions.c - resolve function traces pointing to SATs for all applications in observe.c => fix problem with higher order values returned by functions

1 0

Handle CStrings correctly: their value is always an empty
by thorsten＠sparud.net 18 Jul '01

18 Jul '01

thorsten: Wed Jul 18 18:10:14 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14561 Modified Files: Expressions.c utils.c Log Message: Handle CStrings correctly: their value is always an empty string - they are not yet written to the trace structure.

1 0

Fixed bug in IdName: don't access first character "charAt(
by thorsten＠sparud.net 18 Jul '01

18 Jul '01

thorsten: Wed Jul 18 18:09:10 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv14543 Modified Files: IdName.java TraceFrame.java Log Message: Fixed bug in IdName: don't access first character "charAt(0)" of empty strings in IdName constructor.

1 0

Added interface to hat-trail. Now, hat-trail and hat-detec
by thorsten＠sparud.net 18 Jul '01

18 Jul '01

thorsten: Wed Jul 18 16:52:50 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14308 Modified Files: Hatobserve.hs Log Message: Added interface to hat-trail. Now, hat-trail and hat-detect maybe started on any observed equation/redex.

1 0

Modifications to hat-connect:
by thorsten＠sparud.net 18 Jul '01

18 Jul '01

thorsten: Wed Jul 18 15:34:22 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14196 Modified Files: hat-connect.c utils.c utils.h Log Message: Modifications to hat-connect: 1. Dump output data to browser, even if an "ERROR" was found in the hat file. 2. Accept argument "-remote" with a specific node address. Dump trace of this particular node to browser.

1 0

Small modifications to java browser tool:
by thorsten＠sparud.net 18 Jul '01

18 Jul '01

thorsten: Wed Jul 18 15:33:07 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv14174 Modified Files: DbgPanel.java HatTrail.java OutputPanel.java TraceFrame.java Log Message: Small modifications to java browser tool: 1. Read and show output data even if an ERROR was found in the hat file. 2. Accept additional argument "-remote" with a node address. Pass the argument on to hat-connect. Options allows interfacing from hat-detect and hat-observe to start hat-trail at a particular node.

1 0

Fixed bug in "readDouble". Skipped tag byte. Representatio
by thorsten＠sparud.net 17 Jul '01

17 Jul '01

thorsten: Tue Jul 17 18:08:08 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv3851 Modified Files: hatinterface.c Log Message: Fixed bug in "readDouble". Skipped tag byte. Representation of doubles now working again.

1 0

Add Haskell versions of hat-tools to source distribution i
by malcolm＠sparud.net 12 Jul '01

12 Jul '01

malcolm: Thu Jul 12 17:36:21 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv19842 Modified Files: Makefile Log Message: Add Haskell versions of hat-tools to source distribution in the top-level Makefile.

1 0

Remove old dependencies from hat-tools Makefile.
by malcolm＠sparud.net 12 Jul '01

12 Jul '01

malcolm: Thu Jul 12 13:23:35 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv19531 Modified Files: Makefile Log Message: Remove old dependencies from hat-tools Makefile.

1 0