October 2006 - Cvs-nhc98

patch applied (hat): Changed marking of current redex slice: now the whole expression,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Sep 6 06:18:13 PDT 2004 olaf * Changed marking of current redex slice: now the whole expression, not just the slice is underlined. (equation is underlined as well, considered more natural). Corrected search for children; now also children of a ConstUse are found and even children of variables bound in pattern bindings. Added toggling between showing current definition or current fault tree. Added toggling between showing definitions/fault tree fully or only demanded part. Added a help message. M ./src/hattools/HatExplore.hs -53 +168 M ./src/hattrans/TraceTrans.hs -7 +9

1 0

patch applied (hat): Hack to fix large literal Int patterns. Previously, a pattern known to
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Sep 6 02:51:56 PDT 2004 malcolm * Hack to fix large literal Int patterns. Previously, a pattern known to be a literal of type Int was bytecoded as a 16-bit quantity. Bad idea. Now, we use a 16-bit value only if the value fits, otherwise we retain the application of fromInteger to the full representation. So finally, the testcase nofib/real/anna gives the right result! M ./src/compiler98/FixSyntax.hs -1 +2

1 0

patch applied (hat): Slightly improved hat-source.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Sep 2 13:00:02 PDT 2004 olaf * Slightly improved hat-source. Shows a stack of equations highlighted in same colours as in program text. M ./src/hattools/HatExplore.hs -26 +43 M ./src/hattools/SExp.hs +21

1 0

patch applied (hat): Correct position information for DeclFuns.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Sep 2 11:18:54 PDT 2004 olaf * Correct position information for DeclFuns. Originally only encompassed the first equation. M ./src/hattrans/TraceTrans.hs -2 +2

1 0

patch applied (hat): Corrected mergePos in module extra to correct the attached bug.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Sep 2 10:51:30 PDT 2004 olaf * Corrected mergePos in module extra to correct the attached bug. Also made some more progress with hat-source. ------------------------ Bug report: I just checked out the latest Hat sources from the CVS. After successful compilation and installation, I think I have a bug at hand, in the treatment of left section expressions, e.g. (2+). A very simple program that generates the bug (let's call the file hattest.hs): generator = ("Hello " ++) . ("world!" ++) main = putStrLn (generator "") Here's what I get: formal:~/foo> hmake -hat hattest hat-trans hattest.hs Fail: mergePos 1:23-1:24 1:14-1:21 As I understand it, (1:23-1:24) is the first "++" and 1:14-1:21 is the string "Hello ". The left section is (correctly) converted to the application: (++) "Hello " but then possitions of the two subexpressions come the wrong way and mergePos complains. I know it can be fixed by writing the expression above instead of the left section, but (as this occurs in all Show instances several times) I think it is not an acceptable solution. Am I missing something? If not, could somebody fix it? Thank you in advance, Nikos. M ./src/compiler98/Extra.hs -6 +4 M ./src/hattools/HatExplore.hs -20 +116

1 0

patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun Aug 29 07:41:22 PDT 2004 olaf * Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys. Does not find children of trusted reductions. M ./src/hattools/HatExplore.hs -45 +259

1 0

patch applied (hat): Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of " main" . Several small changes in other files to make hat-source. Also slightly improved handling of positions.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 24 11:54:53 PDT 2004 olaf * Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of "main". Several small changes in other files to make hat-source. Also slightly improved handling of positions. M ./src/compiler98/MkSyntax.hs -2 +6 M ./src/hatlib/Hat/Hat.hs -30 +30 A ./src/hattools/HatExplore.hs M ./src/hattools/LowLevel.hs -1 +9 M ./src/hattools/Makefile -1 +11 M ./src/hattools/artutils.c +102 M ./src/hattools/artutils.h +1 M ./src/hattrans/AuxFixity.hs -2 +2 M ./src/hattrans/TraceTrans.hs -3 +3

1 0

patch applied (hat): Use -fno-warn-duplicate-exports to reduce the output clutter when
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Aug 23 04:03:38 PDT 2004 malcolm * Use -fno-warn-duplicate-exports to reduce the output clutter when building with ghc-6.2.x. (Unfortunately, the same flag seems to turn warnings *on* for ghc-5.04.x, sigh.) M ./src/hatlib/Makefile +1

1 0

patch applied (hat): Determine value of __GLASGOW_HASKELL__ more reliably by invoking ghc.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 18 03:26:18 PDT 2004 malcolm * Determine value of __GLASGOW_HASKELL__ more reliably by invoking ghc. M ./script/confhc-hat -12 +11

1 0

patch applied (hat): Modified hat-trans and hat-lib to write extended positions into trace file (a second integer for the end position after that of the begin position).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 4 12:23:54 PDT 2004 olaf * Modified hat-trans and hat-lib to write extended positions into trace file (a second integer for the end position after that of the begin position). Modified hat-tools to work with the new file format. File format has now a new version 2.04, separate from the Hat version. Note that the additional end line and column of a position are still ignored by all tools. Couldn't really test hat-detect and hat-anim, because they only seem to work in special cases (that has not changed through the modification). M ./Makefile.inc +2 M ./src/hatlib/Hat/Hat.hs -34 +38 M ./src/hatlib/Hat/PreludeBuiltinTypes.hs -4 +4 M ./src/hatlib/Makefile -1 +3 M ./src/hatlib/hat-c.c -18 +23 M ./src/hatlib/hat-c.h -5 +6 M ./src/hattools/HatDetect.hs +1 M ./src/hattools/Ident.hs +8 M ./src/hattools/LowLevel.hs +8 M ./src/hattools/Makefile -1 +1 M ./src/hattools/animnode.c -2 +5 M ./src/hattools/artutils.c -9 +77 M ./src/hattools/artutils.h +10 M ./src/hattools/detectutils.c +1 M ./src/hattools/hat-check.c -5 +9 M ./src/hattools/hat-names.c +3 M ./src/hattools/list.c +1 M ./src/hattools/list.h +1 M ./src/hattools/nodehash.c -2 +2 M ./src/hattools/observeutils.c +3 M ./src/hattrans/AuxFixity.hs -7 +7 M ./src/hattrans/TraceTrans.hs -18 +23

1 0