April 2002 - Cvs-nhc98

First revised version of hat-observe for the new file form
by malcolm＠sparud.net 26 Apr '02

26 Apr '02

malcolm: Fri Apr 26 12:34:06 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19208 Modified Files: HatObserve.hs Makefile SExp.hs hat-names.c observe.c observe.h Removed Files: Expressions.c Expressions.h FunTable.c FunTable.h hat-checki.c hat-detect.c hat-observe.c hatfile.h hatgeneral.c hatgeneral.h hatinterface.c hatinterface.h menu.c menu.h nodelist.c nodelist.h Log Message: 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.

1 0

Just formatting.
by malcolm＠sparud.net 26 Apr '02

26 Apr '02

malcolm: Fri Apr 26 12:27:57 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19182 Modified Files: hashtable.c hashtable.h Log Message: Just formatting.

1 0

Fix a bug in hat-trail related to the file format.
by malcolm＠sparud.net 26 Apr '02

26 Apr '02

malcolm: Fri Apr 26 12:24:33 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19051 Modified Files: HatTrail.hs LowLevel.hs artutils.c artutils.h Log Message: 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.

1 0

Ups. Forget to add new fun and ap combinators for up to ar
by olaf＠sparud.net 25 Apr '02

25 Apr '02

olaf: Thu Apr 25 18:10:00 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv6549/src/hat/lib Modified Files: Hat.hs Log Message: Ups. Forget to add new fun and ap combinators for up to arity 9 in export list.

1 0

Added fun and ap combinators for up to arity 9.
by olaf＠sparud.net 23 Apr '02

23 Apr '02

olaf: Tue Apr 23 19:45:53 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv15826/src/hat/lib Modified Files: Hat.hs hat.c hat.h Log Message: Added fun and ap combinators for up to arity 9.

1 0

When an 'opendir' failed it created a foreign object with
by malcolm＠sparud.net 23 Apr '02

23 Apr '02

malcolm: Tue Apr 23 15:42:46 CEST 2002 Update of /usr/src/master/nhc/src/prelude/Directory In directory hinken:/tmp/cvs-serv14575/src/prelude/Directory Modified Files: GetDirectoryContents.gc Log Message: When an 'opendir' failed it created a foreign object with a 'cval' of 'NULL'. During garbage collection the finalizer 'closedir' was be called with a 'NULL' pointer argument, leading to a core dump. This patch makes closedir aware of failed 'opendir' and also uses the haskell greencard version as the finalizer instead of using the C library function directly. (From Thomas Nordin.)

1 0

Add -fno-warn-... flags to the ghc package configuration f
by malcolm＠sparud.net 23 Apr '02

23 Apr '02

malcolm: Tue Apr 23 12:08:43 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv12548 Modified Files: hat-package.conf Log Message: Add -fno-warn-... flags to the ghc package configuration for Hat.

1 0

Show values of type IO as Abstract "IO".
by olaf＠sparud.net 23 Apr '02

23 Apr '02

olaf: Tue Apr 23 12:02:19 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv12460/src/hat/lib Modified Files: Hat.hs TPreludeBuiltinTypes.hs Log Message: Show values of type IO as Abstract "IO". Values of type IO used to be of the form `hidden applied to lambda'. Showing Abstract IO instead is clearer (value of an abstract type) and does not contain less information. It is still possible to ask for the parent of Abstract IO.

1 0

Make a better job of suppressing warning/error messages.
by malcolm＠sparud.net 23 Apr '02

23 Apr '02

malcolm: Tue Apr 23 11:20:08 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv11964 Modified Files: Makefile Log Message: Make a better job of suppressing warning/error messages.

1 0

New version of hat-trail for new file format.
by malcolm＠sparud.net 22 Apr '02

22 Apr '02

malcolm: Mon Apr 22 13:02:02 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv1949 Modified Files: LowLevel.hs Makefile SExp.hs artutils.c artutils.h Log Message: New version of hat-trail for new file format.

1 0