October 2006 - Cvs-nhc98

patch applied (hat): Colin' s simple prototype program to mark in a Haskell source program
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 6 06:16:36 PDT 2004 malcolm * Colin's simple prototype program to mark in a Haskell source program the application-expressions that have instances in a Hat trace. Output is to stdout, with terminal highlighting to indicate code that was exercised. M ./src/hattools/HatCover.hs -15 +155

1 0

patch applied (hat): The default definition of (**) in class Floating loses precision.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 5 11:54:14 PDT 2004 malcolm * The default definition of (**) in class Floating loses precision. In particular, many calculations incorrectly have result NaN. The fix is to use the C library function pow() instead, and hook it into nhc98 as a new bytecode instruction. M ./src/compiler98/GcodeLow.hs +1 M ./src/compiler98/Prim.hs +2 M ./src/compiler98/PrimCode.hs +2

1 0

patch applied (hat): Three improvements of HatSource:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 5 11:53:45 PDT 2004 olaf * Three improvements of HatSource: Modified highlighting so that it leaves default settings (esp. of colours) untouched as far as possible. Also now works also with terminals that interpret bold + foreground colour as lighter foreground colour. May however have contrast problems with default foreground colour. Removed highlighting from keywords in equations. That highlighting did not go well with highlighting of full equations and caused problems with cutting off equations at end of line. When determining faulty slice now keep track of nodes already visited. Thus looping for recursive constants can no longer happen. Still seems fast enough in practice; better set implementation could improve this. M ./src/hattools/HatExplore.hs -23 +39

1 0

patch applied (hat): Add a redirection script for hat-cover.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 5 06:09:37 PDT 2004 malcolm * Add a redirection script for hat-cover. M ./configure -1 +1

1 0

patch applied (hat): Don' t snarf data from null SrcRef pointers.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 12:31:56 PDT 2004 malcolm * Don't snarf data from null SrcRef pointers. M ./src/hattools/HatExplore.hs -4 +6

1 0

patch applied (hat): Removed name conflict " column" with new SrcRef module.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 07:48:35 PDT 2004 olaf * Removed name conflict "column" with new SrcRef module. M ./src/hattools/HatExplore.hs -31 +31

1 0

patch applied (hat): Disambiguate imports.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 07:15:59 PDT 2004 malcolm * Disambiguate imports. M ./src/hattools/HatExplore.hs -4 +6

1 0

patch applied (hat): Add a stub for a new tool hat-cover.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 07:02:05 PDT 2004 malcolm * Add a stub for a new tool hat-cover. A ./src/hattools/HatCover.hs M ./src/hattools/Makefile -2 +8

1 0

patch applied (hat): Derive Eq and Show for SrcRef.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 07:00:57 PDT 2004 malcolm * Derive Eq and Show for SrcRef. M ./src/hattools/SrcRef.hs -3 +2

1 0

patch applied (hat): Make a genuine SrcRef type in Haskell. Redo the lowlevel bits of
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Oct 4 06:28:42 PDT 2004 malcolm * Make a genuine SrcRef type in Haskell. Redo the lowlevel bits of how SrcRefs are transferred from C to Haskell, to become (perhaps) more efficient, but certainly neater. M ./src/hattools/CommonUI.hs -3 +7 M ./src/hattools/HatDetect.hs -16 +9 M ./src/hattools/HatExplore.hs -15 +8 M ./src/hattools/HatObserve.hs -18 +9 M ./src/hattools/HatStack.hs -3 +5 M ./src/hattools/HatTrail.hs -43 +38 M ./src/hattools/Ident.hs -169 +1 A ./src/hattools/Idents.hs M ./src/hattools/LowLevel.hs -32 M ./src/hattools/Makefile -9 +11 A ./src/hattools/SrcRef.hs M ./src/hattools/artutils.c -179 +13 M ./src/hattools/artutils.h -14 +7

1 0