- Cvs-nhc98 - Haskell.org

patch applied (hat): Rename HatExplore.hs to HatTrail.hs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 04:03:07 PST 2002 malcolm * Rename HatExplore.hs to HatTrail.hs. A ./src/hattools/HatTrail.hs M ./src/hattools/Makefile -3 +3

1 0

patch applied (hat): A tool which gives (approximate) application counts for all identifiers
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:55:52 PST 2002 malcolm * A tool which gives (approximate) application counts for all identifiers in the .hat file. A ./src/hattools/hat-names.c

1 0

patch applied (hat): Rename old hat-trail script to hat-trail-in-java.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:52:45 PST 2002 malcolm * Rename old hat-trail script to hat-trail-in-java. A ./script/hat-trail-in-java.inst

1 0

patch applied (hat): Updates to hat tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 7 03:51:05 PST 2002 malcolm * Updates to hat tools. * rename hat-explore to hat-trail * in hat-detect + hat-observe: * command :explore is now :trail * change equation numbering from #n: to coloured n * highlight the option keywords when :set reports the current options * command :unset is removed, replaced by :set option [on|off] * in hat-trail: * option to show equations is now on by default * bugfix to ensure equations are indeed always shown when the mode is on * new command names :detect :observe :Observe :src :Src * in hat-observe: * `unique' mode renamed to `generalise' mode * `lines' option renamed to `group' * remove use of simple equation number as a command * new facility to observe by source reference (filename/line/col) rather than function name. Current name is :source. Better suggestions welcome, especially since hat-trail uses :observe/:Observe. M ./src/hattools/HatDetect.hs -52 +56 M ./src/hattools/HatObserve.hs -98 +169 M ./src/hattools/HatTrace.gc +4 M ./src/hattools/Makefile -13 +15 M ./src/hattools/hatinterface.c +2 M ./src/hattools/observeutils.c -1 +3

1 0

patch applied (hat): Minor updates to reflect the new hat tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Mar 6 02:31:02 PST 2002 malcolm * Minor updates to reflect the new hat tools. M ./COPYRIGHT -10 +23

1 0

patch applied (hat): Reformat for readability.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 5 04:14:20 PST 2002 malcolm * Reformat for readability. M ./src/hattools/HatTrie.hs -423 +447

1 0

patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:56:47 PST 2002 malcolm * Lowlevel getResult() routine should check for a SAT after a TNm, not only after a TAp. This fixes hat-explore so that = always shows a result. M ./src/hattools/utils.c +25

1 0

patch applied (hat): In hat-observe: allow interrupts while searching for equations.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:55:07 PST 2002 malcolm * In hat-observe: allow interrupts while searching for equations. Also, add commands :+ and :- for changing cutoff-depth by increments. M ./src/hattools/HatObserve.hs -50 +71 M ./src/hattools/HatTrace.gc -11 +22 M ./src/hattools/observeutils.c -43 +82 M ./src/hattools/observeutils.h +4

1 0

patch applied (hat): In hat-explore:
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:52:23 PST 2002 malcolm * In hat-explore: * add a status line - shows messages, and usually the current srcref * add commands to change the cutoff-depth * add an `always-show-equations' mode * support multi-character commands on the bottom line * the = key now toggles the current equation on/off * the = key takes you immediately to the RHS * the action of the [ ] movement keys is now bound to < and > * shrink and expand are now - and + M ./src/hattools/HighlightStyle.hs +4 M ./src/hattools/SExp.hs -6 +9

1 0

patch applied (hat): Add commands :+n and :-n for changing cutoff depth by increments.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Mar 4 08:44:20 PST 2002 malcolm * Add commands :+n and :-n for changing cutoff depth by increments. M ./src/hattools/HatDetect.hs -3 +21

1 0