June 2002 - Cvs-nhc98

Obsolete.
by malcolm＠sparud.net 13 Jun '02

13 Jun '02

malcolm: Thu Jun 13 13:08:06 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv1663 Removed Files: HatTrie.hs Log Message: Obsolete.

1 0

Hat-Trans: Enable use of (..) in im/export lists
by olaf＠sparud.net 13 Jun '02

13 Jun '02

olaf: Thu Jun 13 12:46:50 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv1380/src/compiler98 Modified Files: AuxFile.hs AuxLabelAST.hs AuxTypes.hs TraceId.hs TraceTrans.hs Log Message: Hat-Trans: Enable use of (..) in im/export lists The .hx files now contain entries for types and classes with all *visible* data constructors, field labels and methods. A TraceId caries these dependend names with every type and class name. Note that all libraries have to be rebuilt.

1 0

Hat-Trans: Enable use of (..) in im/export lists
by olaf＠sparud.net 13 Jun '02

13 Jun '02

olaf: Thu Jun 13 12:46:51 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv1380/src/hat/lib Modified Files: IOBuiltin.hx IOBuiltinTypes.hs PreludeBuiltin.hs PreludeBuiltinTypes.hx RandomBuiltin.hx TTimeBuiltin.hs TimeBuiltin.hx TimeBuiltinTypes.hs Log Message: Hat-Trans: Enable use of (..) in im/export lists The .hx files now contain entries for types and classes with all *visible* data constructors, field labels and methods. A TraceId caries these dependend names with every type and class name. Note that all libraries have to be rebuilt.

1 0

Document changes from hmake 3.04 to 3.05.
by malcolm＠sparud.net 13 Jun '02

13 Jun '02

malcolm: Thu Jun 13 12:03:21 CEST 2002 Update of /usr/src/master/nhc/docs/hmake In directory hinken:/tmp/cvs-serv888 Modified Files: changes.html index.html Log Message: Document changes from hmake 3.04 to 3.05.

1 0

A bunch of new documentation for Hat 2.00.
by malcolm＠sparud.net 13 Jun '02

13 Jun '02

malcolm: Thu Jun 13 10:47:36 CEST 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv4121 Modified Files: faq.html feature-table.html hatuser.tex index.html maillist.html tutorial1.tex Added Files: config.html copyright.html download.html install.html libraries.html publications.html requirements.html status.html Log Message: A bunch of new documentation for Hat 2.00.

1 0

No log message
by malcolm＠sparud.net 13 Jun '02

13 Jun '02

malcolm: Thu Jun 13 10:44:26 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv4041 Modified Files: artutils.c Log Message: Workaround for Hidden->Forward->Projection->Hidden cycle.

1 0

Always detect cycles. Numbered expressions should have nu
by malcolm＠sparud.net 12 Jun '02

12 Jun '02

malcolm: Wed Jun 12 13:19:12 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19385 Modified Files: SExp.hs Log Message: Always detect cycles. Numbered expressions should have number in blue.

1 0

Script to invoke hat-check -g on a .hat file and pass the
by malcolm＠sparud.net 12 Jun '02

12 Jun '02

malcolm: Wed Jun 12 13:16:43 CEST 2002 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv19334 Added Files: hat-graph Log Message: Script to invoke hat-check -g on a .hat file and pass the output to `dot', generating a PostScript file.

1 0

Add -g mode to hat-check. The new option generates a grap
by malcolm＠sparud.net 12 Jun '02

12 Jun '02

malcolm: Wed Jun 12 13:13:50 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19287 Modified Files: hat-check.c Log Message: Add -g mode to hat-check. The new option generates a graph as a source file for input to the standard `dot' graph-drawing utility.

1 0

Hat-library: removed bug that produced corrupted trace whe
by olaf＠sparud.net 11 Jun '02

11 Jun '02

olaf: Tue Jun 11 18:03:56 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv6699/src/hat/lib Modified Files: hat.c Log Message: Hat-library: removed bug that produced corrupted trace when interrupted. The stack was directly written to file, without using the sequential write buffer and before that sequential write buffer was written. Now when the stack is written the sequential write buffer is also used.

1 0