October 2006 - Cvs-nhc98

patch applied (hat): Increase depth of expression cut-off from 6 to 10.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Feb 19 08:03:43 PST 2002 malcolm * Increase depth of expression cut-off from 6 to 10. M ./src/hattools/HatDetect.hs -2 +2

1 0

patch applied (hat): Reenabled cutting of expressions at certain depth in hat-observe and hat-detect.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 08:40:08 PST 2002 olaf * Reenabled cutting of expressions at certain depth in hat-observe and hat-detect. Try to always show at least function when showing an application. But all is still a big hack. The preset depth of 6 is good for terms but bad for strings. M ./src/hattools/HatDetect.hs -1 +20 M ./src/hattools/HatExpressionTree.hs -4 +4 M ./src/hattools/HatObserve.hs -5 +5 M ./src/hattools/PrettyExp.hs -4 +6

1 0

patch applied (hat): Oops, a reverse-video box should occupy a single character in the
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:57:21 PST 2002 malcolm * Oops, a reverse-video box should occupy a single character in the pretty-printer, not more. Use the `highlight' document combinator, rather than a literal string with embedded escape codes. M ./src/hattools/PrettyExp.hs -6 +6

1 0

patch applied (hat): Change symbol from < dummy> to {IO}.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:40:09 PST 2002 malcolm * Change symbol from <dummy> to {IO}. M ./src/hattools/utils.c -2 +2

1 0

patch applied (hat): In hat-explore, write all errors to stderr.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:39:33 PST 2002 malcolm * In hat-explore, write all errors to stderr. Fix a bug where the function in an application is a null file pointer Fix a pattern-match failure when traversing a comma-separated list. Fix an incorrect lack of parentheses when an application goes through a projection. M ./src/hattools/SExp.hs -14 +19

1 0

patch applied (hat): Change some symbols in hat-detect and hat-observe:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:36:08 PST 2002 malcolm * Change some symbols in hat-detect and hat-observe: * <HIDDEN> becomes { } with a reverse-video box in the middle * <dummy> becomes {IO} in bold * <cut> becomes a reverse-video box M ./src/hattools/PrettyExp.hs -3 +4

1 0

patch applied (hat): Bugfix in hat-explore: getParentNode should return 0 if there is no
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:33:51 PST 2002 malcolm * Bugfix in hat-explore: getParentNode should return 0 if there is no parent, not the node itself. M ./src/hattools/LowLevel.hs -4 +3

1 0

patch applied (hat): Tidy up hat-observe user interface.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:32:59 PST 2002 malcolm * Tidy up hat-observe user interface. * command DEBUG is now DETECT * new command EXPLORE M ./src/hattools/HatObserve.hs -2 +12

1 0

patch applied (hat): Tidy up the hat-detect user interface.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Feb 15 07:31:24 PST 2002 malcolm * Tidy up the hat-detect user interface. * command T now means 'start hat-trail' * command to `trust' must be spelled in full * command to `suspect' must be spelled in full * new command E means 'start hat-explore' * prompt is now just "? " rather than "(Y/?Y/?N/N): " M ./src/hattools/HatDetect.hs -35 +28

1 0

patch applied (hat): Improve highlighting in hat-explore:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Feb 14 08:37:18 PST 2002 malcolm * Improve highlighting in hat-explore: * have a different style for the current highlight, as opposed to previous selections further up the display * make the highlighting styles user-configurable * try to minimise the amount of screen-repainting required M ./src/hattools/HighlightStyle.hs -2 +4 M ./src/hattools/SExp.hs -24 +18

1 0