October 2006 - Cvs-nhc98

patch applied (hat): Revert $(PWD) to $(shell pwd). Apparently Cygwin is not keen on
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 12 03:17:53 PST 2002 malcolm * Revert $(PWD) to $(shell pwd). Apparently Cygwin is not keen on the former. M ./Makefile.inc -4 +4 M ./src/Makefile.inc -2 +2 M ./src/compiler98/Makefile.inc -2 +2 M ./src/hatlib/Makefile.inc -2 +2 M ./src/hattools/Makefile.inc -2 +2 M ./src/old/runtime/Makefile.inc -2 +2 M ./src/old/trail/Makefile.inc -2 +2

1 0

patch applied (hat): Portable Tracing: added more standard libraries and deriving of Ix.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 11 12:58:17 PST 2002 olaf * Portable Tracing: added more standard libraries and deriving of Ix. M ./src/compiler98/TraceDerive.hs -2 +136 M ./src/compiler98/TraceId.hs -2 +35 M ./src/compiler98/TraceTrans.hs -3 +3 A ./src/hatlib/Array.hs M ./src/hatlib/Hat.hs -2 +68 A ./src/hatlib/IO.hs A ./src/hatlib/IOBuiltin.hx A ./src/hatlib/IOBuiltinTypes.hs A ./src/hatlib/Ix.hs M ./src/hatlib/Makefile -3 +3 A ./src/hatlib/TIOBuiltin.hs M ./src/hattrans/TraceDerive.hs -2 +136 M ./src/hattrans/TraceId.hs -2 +35 M ./src/hattrans/TraceTrans.hs -3 +3

1 0

patch applied (hat): Update the Hat User Guide, mainly to reflect the new hat-trail, but
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 11 06:32:54 PST 2002 malcolm * Update the Hat User Guide, mainly to reflect the new hat-trail, but also to document changes in command syntax for hat-observe and hat-detect. M ./docs/hatuser.tex -366 +1037

1 0

patch applied (hat): Minor doc updates on Hat limitations.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 8 06:45:28 PST 2002 malcolm * Minor doc updates on Hat limitations. M ./docs/browser-detail.html -7 +8 M ./docs/limitations.html -11 +9

1 0

patch applied (hat): For portable tracing: completed Prelude and added the easy standard libraries.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 8 03:41:52 PST 2002 olaf * For portable tracing: completed Prelude and added the easy standard libraries. M ./src/compiler98/HatTrans.hs -4 +15 M ./src/compiler98/TokenId.hs +3 M ./src/compiler98/TraceTrans.hs -5 A ./src/hatlib/Complex.hs M ./src/hatlib/Makefile -1 +1 A ./src/hatlib/Maybe.hs A ./src/hatlib/Monad.hs A ./src/hatlib/Numeric.hs M ./src/hatlib/PreludeBasic.hs -53 +453 A ./src/hatlib/Ratio.hs M ./src/hattrans/HatTrans.hs -4 +15 M ./src/hattrans/TraceTrans.hs -5

1 0

patch applied (hat): Implemented deriving mechanism for portable tracing.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 09:58:16 PST 2002 olaf * Implemented deriving mechanism for portable tracing. Restriction: The context of a derived class is not obtained by context reduction as it should be, because that would require reimplementing major parts of type inference and would need access to all visible classes, instances and type synonyms. Instead the canoncial context, i.e. the class applied to every type variable of the instance type, is used. That always works if all instances used by an instance are also derived, and for all "reasonable" user defined ones. Difference: Show and Read are implemented as outlined in recent mail to Simon, different from implementation used by all Haskell compilers. These instances are far more sensible. Deriving of Ix has not yet been implemented, because that library does not yet exist. In PreludeBasic some functions are defined that are used by the derived code. The idea is that all identifiers introduced by the transformation should be imported qualified from PreludeBasic. Even those that are also exported by Prelude, because the user may hide the Prelude (not yet realised for old code). This extension requires retransformation of the Prelude and its parts. M ./src/compiler98/AuxTypes.hs -1 +1 M ./src/compiler98/PrettySyntax.hs -1 +1 M ./src/compiler98/Syntax.hs +9 M ./src/compiler98/TokenId.hs +2 M ./src/compiler98/TraceDerive.hs -7 +304 M ./src/compiler98/TraceId.hs -4 +103 M ./src/compiler98/TraceTrans.hs +5 M ./src/hatlib/PreludeBasic.hs +21 M ./src/hattrans/AuxTypes.hs -1 +1 M ./src/hattrans/TraceDerive.hs -7 +304 M ./src/hattrans/TraceId.hs -4 +103 M ./src/hattrans/TraceTrans.hs +5

1 0

patch applied (hat): Rename HatExplore.hs to HatTrail.hs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 04:03:07 PST 2002 malcolm * Rename HatExplore.hs to HatTrail.hs. A ./src/hattools/HatTrail.hs M ./src/hattools/Makefile -3 +3

1 0

patch applied (hat): A tool which gives (approximate) application counts for all identifiers
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:55:52 PST 2002 malcolm * A tool which gives (approximate) application counts for all identifiers in the .hat file. A ./src/hattools/hat-names.c

1 0

patch applied (hat): Rename old hat-trail script to hat-trail-in-java.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:52:45 PST 2002 malcolm * Rename old hat-trail script to hat-trail-in-java. A ./script/hat-trail-in-java.inst

1 0

patch applied (hat): Updates to hat tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:51:05 PST 2002 malcolm * Updates to hat tools. * rename hat-explore to hat-trail * in hat-detect + hat-observe: * command :explore is now :trail * change equation numbering from #n: to coloured n * highlight the option keywords when :set reports the current options * command :unset is removed, replaced by :set option [on|off] * in hat-trail: * option to show equations is now on by default * bugfix to ensure equations are indeed always shown when the mode is on * new command names :detect :observe :Observe :src :Src * in hat-observe: * `unique' mode renamed to `generalise' mode * `lines' option renamed to `group' * remove use of simple equation number as a command * new facility to observe by source reference (filename/line/col) rather than function name. Current name is :source. Better suggestions welcome, especially since hat-trail uses :observe/:Observe. M ./src/hattools/HatDetect.hs -52 +56 M ./src/hattools/HatObserve.hs -98 +169 M ./src/hattools/HatTrace.gc +4 M ./src/hattools/Makefile -13 +15 M ./src/hattools/hatinterface.c +2 M ./src/hattools/observeutils.c -1 +3

1 0