October 2006 - Cvs-nhc98

patch applied (hat): Columnate the output of :info, using exact sizes of the count and
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 09:37:06 PDT 2002 malcolm * Columnate the output of :info, using exact sizes of the count and identifier string to determine how many columns. M ./src/hattools/Makefile -21 +4 M ./src/hattools/Observe.hs -8 M ./src/hattools/hat-names.c -5 +56

1 0

patch applied (hat): In hat-observe re-implement searching by src reference.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 08:10:51 PDT 2002 malcolm * In hat-observe re-implement searching by src reference. M ./src/hattools/HatObserve.hs -1 +1 M ./src/hattools/observeutils.c -6 +80 M ./src/hattools/observeutils.h +1

1 0

patch applied (hat): Remove debugging fprintfs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 03:41:56 PDT 2002 malcolm * Remove debugging fprintfs. M ./src/hattools/observeutils.c -7 +7

1 0

patch applied (hat): Forgot to add these in previous commit.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 03:37:21 PDT 2002 malcolm * Forgot to add these in previous commit. A ./src/hattools/Observe.hs A ./src/hattools/ystrings.c A ./src/hattools/ystrings.h

1 0

patch applied (hat): First revised version of hat-observe for the new file format.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 03:34:06 PDT 2002 malcolm * First revised version of hat-observe for the new file format. Features: * Observations of "var" and "var1 in var2" style. * Application counts for the :info command. (implementation in hat-names.c) * Now uses exactly the same pretty-printer as hat-trail. Missing: * Patterns in an observation query. * Removal of non-unique equations. * Removal of less general equations. R ./src/hattools/Expressions.c R ./src/hattools/Expressions.h R ./src/hattools/FunTable.c R ./src/hattools/FunTable.h M ./src/hattools/HatObserve.hs -145 +194 M ./src/hattools/Makefile -18 +30 M ./src/hattools/SExp.hs -1 +30 R ./src/hattools/hat-checki.c R ./src/hattools/hat-detect.c M ./src/hattools/hat-names.c -251 +103 R ./src/hattools/hat-observe.c R ./src/hattools/hatfile.h R ./src/hattools/hatgeneral.c R ./src/hattools/hatgeneral.h R ./src/hattools/hatinterface.c R ./src/hattools/hatinterface.h R ./src/hattools/menu.c R ./src/hattools/menu.h R ./src/hattools/nodelist.c R ./src/hattools/nodelist.h M ./src/hattools/observeutils.c -595 +269 M ./src/hattools/observeutils.h -69 +31

1 0

patch applied (hat): Just formatting.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 03:27:57 PDT 2002 malcolm * Just formatting. M ./src/hattools/hashtable.c -24 +38 M ./src/hattools/hashtable.h -13 +10

1 0

patch applied (hat): Fix a bug in hat-trail related to the file format.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 26 03:24:32 PDT 2002 malcolm * Fix a bug in hat-trail related to the file format. * getResult() now takes a boolean to determine whether to stop if it finds a Hidden. The rule is that a direct call of getResult() (i.e. to find the RHS of an equation) should stop if it immediately finds a Hidden, because the full result is not known. However, a recursive call of getResult() within itself should follow Hidden pointers, because if we are already inside an application, then the result of the Hidden is relevant. Also, in artutils.[ch], introduce a second file handle for the .hat file. One is for sequential access, the other for random access. M ./src/hattools/HatTrail.hs -4 +4 M ./src/hattools/LowLevel.hs -3 +9 M ./src/hattools/artutils.c -141 +254 M ./src/hattools/artutils.h -9 +20

1 0

patch applied (hat): Ups. Forget to add new fun and ap combinators for up to arity 9 in export list.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 25 09:09:59 PDT 2002 olaf * Ups. Forget to add new fun and ap combinators for up to arity 9 in export list. M ./src/hatlib/Hat.hs -1 +2

1 0

patch applied (hat): Added fun and ap combinators for up to arity 9.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Apr 23 10:45:52 PDT 2002 olaf * Added fun and ap combinators for up to arity 9. M ./src/hatlib/Hat.hs -8 +240 M ./src/hatlib/hat-c.c -9 +160 M ./src/hatlib/hat-c.h +1

1 0

patch applied (hat): Add -fno-warn-... flags to the ghc package configuration for Hat.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Apr 23 03:08:43 PDT 2002 malcolm * Add -fno-warn-... flags to the ghc package configuration for Hat. M ./src/hatlib/hat-package.conf -1 +2

1 0