October 2006 - Cvs-nhc98

patch applied (hat): Add new trace transformation phase (just after parsing)
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 25 06:17:08 PDT 2001 olaf * 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. M ./src/compiler98/DbgDataTrans.hs -2 +2 M ./src/compiler98/Main.hs -6 +10 M ./src/compiler98/Remove1_3.hs -3 +4 M ./src/compiler98/TokenId.hs -1 +1 M ./src/compiler98/TokenInt.hs -1 +1 M ./src/compiler98/TraceId.hs -3 +23 A ./src/compiler98/TraceTrans.hs M ./src/hattrans/TraceId.hs -3 +23 A ./src/hattrans/TraceTrans.hs

1 0

patch applied (hat): - Fixed space leak in Expressions.c
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jul 23 11:32:53 PDT 2001 thorsten * - 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 M ./src/hattools/Expressions.c -1 +3 M ./src/hattools/hashtable.c -1 +1 M ./src/hattools/hat-observe.c -1 +1 M ./src/hattools/observeutils.c -1 +2

1 0

patch applied (hat): Handle CStrings correctly: their value is always an empty string -
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 18 09:10:14 PDT 2001 thorsten * Handle CStrings correctly: their value is always an empty string - they are not yet written to the trace structure. M ./src/hattools/Expressions.c -2 +6 M ./src/hattools/utils.c -1 +1

1 0

patch applied (hat): Fixed bug in IdName: don' t access first character " charAt(0)" of empty
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 18 09:09:10 PDT 2001 thorsten * Fixed bug in IdName: don't access first character "charAt(0)" of empty strings in IdName constructor. M ./src/old/trail/IdName.java -1 +2 M ./src/old/trail/TraceFrame.java -1 +1

1 0

patch applied (hat): Added interface to hat-trail. Now, hat-trail and hat-detect maybe
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 18 07:52:50 PDT 2001 thorsten * Added interface to hat-trail. Now, hat-trail and hat-detect maybe started on any observed equation/redex. M ./src/hattools/HatObserve.hs -12 +38 M ./src/hattools/Hatobserve.hs -12 +38

1 0

patch applied (hat): Modifications to hat-connect:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 18 06:34:22 PDT 2001 thorsten * 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. M ./src/hattools/hat-connect.c -4 +24 M ./src/hattools/utils.c -9 +14 M ./src/hattools/utils.h -1 +1

1 0

patch applied (hat): Small modifications to java browser tool:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 18 06:33:06 PDT 2001 thorsten * 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. M ./src/old/trail/DbgPanel.java -1 +1 M ./src/old/trail/HatTrail.java -1 +6 M ./src/old/trail/OutputPanel.java -1 +7 M ./src/old/trail/TraceFrame.java -3 +4

1 0

[cvs-nhc98] patch applied (hat): Fixed bug in " readDouble" . Skipped tag byte. Representation of
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jul 17 09:08:08 PDT 2001 thorsten * Fixed bug in "readDouble". Skipped tag byte. Representation of doubles now working again. M ./src/hattools/hatinterface.c +1

1 0

patch applied (hat): Remove old dependencies from hat-tools Makefile.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 12 04:23:35 PDT 2001 malcolm * Remove old dependencies from hat-tools Makefile. M ./src/hattools/Makefile -15 +6

1 0

patch applied (hat): bug fixes:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 11 08:27:06 PDT 2001 thorsten * bug fixes: - avoid showing questions in hat-detect: fun arguments = _ - avoid asking for the topmost CAF, when starting a detect session at some point within the computation (called from hat-observe). - show tuples of greater arity than 2 correctly - correct algorithm to determine origin of a function's application when observing a function WITHIN a second function in hat-observe M ./src/hattools/Expressions.c -4 +10 M ./src/hattools/HatObserve.hs -23 +32 M ./src/hattools/HatTrace.gc -1 +11 M ./src/hattools/Hatobserve.hs -23 +32 M ./src/hattools/detect.c -1 +6 M ./src/hattools/hat-detect.c -1 +28 M ./src/hattools/hatinterface.c -48 +101 M ./src/hattools/observeutils.c -1 +1

1 0