June 2002 - Cvs-nhc98

Make it easier to build Hat from the ordinary top-level Ma
by malcolm＠sparud.net 19 Jun '02

19 Jun '02

malcolm: Wed Jun 19 12:37:11 CEST 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv7124 Modified Files: Makefile Log Message: Make it easier to build Hat from the ordinary top-level Makefile. There are now some new targets just like in Makefile.hat: hat (hat-ghc hat-nhc) hat-trans (hat-trans-ghc hat-trans-nhc) hat-lib (hat-lib-ghc hat-lib-nhc) hat-tools (hat-tools-ghc hat-tools-nhc)

1 0

OpenBSD, like FreeBSD, prefers <stdlib.h> to <malloc.h>.
by malcolm＠sparud.net 19 Jun '02

19 Jun '02

malcolm: Wed Jun 19 11:44:47 CEST 2002 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv6525 Modified Files: localmalloc.h Log Message: OpenBSD, like FreeBSD, prefers <stdlib.h> to <malloc.h>.

1 0

Hat-Lib: Assure that traces of aborted computations have n
by olaf＠sparud.net 18 Jun '02

18 Jun '02

olaf: Tue Jun 18 20:15:33 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv27366/src/hat/lib Modified Files: hat.c Log Message: Hat-Lib: Assure that traces of aborted computations have never Entered in a Forward node.

1 0

Add documentation about where Hat lives in CVS.
by malcolm＠sparud.net 18 Jun '02

18 Jun '02

malcolm: Tue Jun 18 17:30:25 CEST 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv25578 Added Files: cvs.html Log Message: Add documentation about where Hat lives in CVS.

1 0

Turn list sugaring back on by default, but ensure that no
by malcolm＠sparud.net 18 Jun '02

18 Jun '02

malcolm: Tue Jun 18 16:55:58 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv25169 Modified Files: HatTrail.hs HatObserve.hs SExp.hs Log Message: Turn list sugaring back on by default, but ensure that no ambiguous list sugaring is generated, by testing whether the ultimate tail of a list is Hidden, Unevaluated, or Interrupted. A cutoff tail is represented with an additional `...' to remind the user that there are more elements of the list.

1 0

Hat-trans: typo in definition sometimes yielded
by olaf＠sparud.net 18 Jun '02

18 Jun '02

olaf: Tue Jun 18 12:47:38 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22393/src/compiler98 Modified Files: AuxFile.hs Log Message: Hat-trans: typo in definition sometimes yielded Fail: AuxFile.hs:434: Non-exhaustive patterns in function isIrrefutable

1 0

Minor wibbles.
by malcolm＠sparud.net 14 Jun '02

14 Jun '02

malcolm: Fri Jun 14 20:36:11 CEST 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv22796 Modified Files: Insort.hs bugs.html download.html index.html install.html status.html Log Message: Minor wibbles.

1 0

Updated tutorial for 2.00 release.
by malcolm＠sparud.net 14 Jun '02

14 Jun '02

malcolm: Fri Jun 14 20:35:56 CEST 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv22776 Modified Files: tutorial1.tex Log Message: Updated tutorial for 2.00 release.

1 0

Do not count applications whose result is Unevaluated.
by malcolm＠sparud.net 14 Jun '02

14 Jun '02

malcolm: Fri Jun 14 19:37:01 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv22070 Modified Files: hat-names.c Log Message: Do not count applications whose result is Unevaluated.

1 0

Turn list sugar off by default.
by malcolm＠sparud.net 14 Jun '02

14 Jun '02

malcolm: Fri Jun 14 19:34:17 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv22022 Modified Files: HatTrail.hs HatObserve.hs Log Message: Turn list sugar off by default.

1 0