October 2006 - Cvs-nhc98

patch applied (hat): Hat-trans: corrected numeric patterns (k and n+k).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jun 7 09:20:47 PDT 2002 olaf * Hat-trans: corrected numeric patterns (k and n+k). Previously definitions such as f 1 True = ... were transformed incorrectly, the equality test with 1 was performed after matching True. Now the transformation adheres to left to right pattern matching. Previously n+k patterns did not work at all, because the n was incorrectly treated as a lambda bound variable. For definitions with numeric patterns the transformation produces pretty large code. Also slightly simplified output in general, in that all parent variables are simply named "p". Scoping assures that always the correct parent is used. M ./src/compiler98/AuxFile.hs -1 +5 M ./src/compiler98/TraceTrans.hs -38 +200 M ./src/hattrans/AuxFile.hs -1 +5 M ./src/hattrans/TraceTrans.hs -38 +200

1 0

patch applied (hat): Missing -P.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jun 7 05:59:31 PDT 2002 malcolm * Missing -P. M ./script/hat-trans.inst -1 +1

1 0

patch applied (hat): When observing constructor applications, omit the (identical) RHS.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 6 09:15:15 PDT 2002 malcolm * When observing constructor applications, omit the (identical) RHS. M ./src/hattools/HatObserve.hs -44 +18

1 0

patch applied (hat): Another rename for hat files temporary directory.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 6 08:35:52 PDT 2002 malcolm * Another rename for hat files temporary directory. M ./script/confhat -19 +26 M ./src/hatlib/Makefile -2 +2

1 0

patch applied (hat): Replace 2-3-4 trees with Red-Black trees. (From Thomas Nordin.)
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 6 03:11:43 PDT 2002 malcolm * Replace 2-3-4 trees with Red-Black trees. (From Thomas Nordin.) M ./src/compiler98/Tree234.hs -231 +82

1 0

patch applied (hat): A Hat source window should not disappear when someone accidentally hits
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 5 09:39:57 PDT 2002 malcolm * A Hat source window should not disappear when someone accidentally hits any key. (To quit, the characters 'q' or 'x' are now needed.) M ./src/hattools/SrcRefViewer.hs -2 +9

1 0

patch applied (hat): When hat-trail is invoked from another tool, an accidental backspace
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 5 09:35:34 PDT 2002 malcolm * When hat-trail is invoked from another tool, an accidental backspace at the top of the window caused hat-trail to exit. It should remain on screen. M ./src/hattools/HatTrail.hs -2 +1

1 0

patch applied (hat): A list inside another list was losing the [, , , ] sugar. (Simple boolean flip.)
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 5 09:27:41 PDT 2002 malcolm * A list inside another list was losing the [,,,] sugar. (Simple boolean flip.) M ./src/hattools/SExp.hs -4 +4

1 0

patch applied (hat): Update directory names.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 5 08:42:51 PDT 2002 malcolm * Update directory names. M ./script/confhat -3 +3

1 0

patch applied (hat): Hat library: Implemented new buffering scheme.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 5 08:04:13 PDT 2002 olaf * Hat library: Implemented new buffering scheme. At Cambridge we noted, using strace, that fseek disturbs the file buffering of the operating system. It seems fseek always requires synchronisation. Hence it is important for efficiency to reduce the number of fseeks. New trace nodes are not written directly to file but buffered. The advantage is that most updates concern parts in this buffer and hence can be done there instead of requiring an expensive fseek. The updates outside this buffer are still buffered separatly, so that basically only one fseek is required per update, not another one for going back to the end of file. Naturally the stack is also still used. The sequential write buffer consists of 4 buffers a 20000 bytes. The exact number and size do not influence the performance on my machine very much. About 0.5% of the updates are outside the buffer. Runtime is reduced by about 45%. M ./src/hatlib/Makefile -2 +2 M ./src/hatlib/hat-c.c -906 +755

1 0