- Cvs-nhc98 - Haskell.org

patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Sep 24 10:36:06 PDT 2004 olaf * Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear. M ./src/hattools/HatExplore.hs -7 +2

1 0

patch applied (hat): Ensure that hat-graph calls the corresponding version of hat-check.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Sep 22 05:41:12 PDT 2004 malcolm * Ensure that hat-graph calls the corresponding version of hat-check. M ./Makefile -1 +1 M ./configure -2 +7 R ./script/hat-graph A ./script/hat-graph.inst

1 0

patch applied (hat): Added hat-source in configure, so that it is also installed by make install.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Sep 7 10:00:05 PDT 2004 olaf * Added hat-source in configure, so that it is also installed by make install. M ./configure -1 +1

1 0

patch applied (hat): List directories for a few more packages (even though they don' t yet
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Sep 7 08:24:52 PDT 2004 malcolm * List directories for a few more packages (even though they don't yet build with nhc98). M ./script/pkgdirlist -2 +14

1 0

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