November 2001 - Cvs-nhc98

Introduce uniform commands for switching debugging tools:
by thorsten＠sparud.net 18 Nov '01

18 Nov '01

thorsten: Sun Nov 18 19:03:38 CET 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv10352 Modified Files: Hatdetect.hs Hatobserve.hs Log Message: Introduce uniform commands for switching debugging tools: "observe", "trail" and "debug" for the Observational Debugger, Redex-Trail browser and Algorithmic Debugger respectively.

1 0

Use prefix `!' instead of `-' for transformed operators.
by olaf＠sparud.net 15 Nov '01

15 Nov '01

olaf: Thu Nov 15 20:24:55 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv13429/src/compiler98 Modified Files: TraceTrans.hs Log Message: Use prefix `!' instead of `-' for transformed operators. Otherwise prefixing of `-' yields the beginning of a comment `--'.

1 0

show of literals used to suffix integers with letter `L'.
by olaf＠sparud.net 15 Nov '01

15 Nov '01

olaf: Thu Nov 15 20:23:37 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv13408/src/compiler98 Modified Files: Syntax.hs Log Message: show of literals used to suffix integers with letter `L'. Removed that `L', because with it pretty printed programs are not Haskell.

1 0

A preliminary version of the Prelude, collected into a sin
by malcolm＠sparud.net 15 Nov '01

15 Nov '01

malcolm: Thu Nov 15 19:45:35 CET 2001 Update of /usr/src/master/nhc/src/prelude/Hat In directory hinken:/tmp/cvs-serv13182 Added Files: Prelude.hs Primitives.hs Log Message: A preliminary version of the Prelude, collected into a single file, ready for testing the Hat src->src transformation. Everything which is not implementable in Haskell is listed in Primitives.hs, and will need some sort of hand-written wrapper.

1 0

- "re"fix EDT algorithm to treat IFs,GUARDs,CASEs and LAMB
by thorsten＠sparud.net 14 Nov '01

14 Nov '01

thorsten: Wed Nov 14 20:54:23 CET 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv2522 Modified Files: detect.c hatinterface.c hatinterface.h Log Message: - "re"fix EDT algorithm to treat IFs,GUARDs,CASEs and LAMBDAs correctly

1 0

Portable version:
by olaf＠sparud.net 13 Nov '01

13 Nov '01

olaf: Tue Nov 13 15:28:40 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv19660/src/compiler98 Modified Files: TraceTrans.hs Log Message: Portable version: Introduced type constructor Fun (newtype) that replaces -> in transformed code. Thus (->) can be used in traced programs with less than two arguments; also transformation of types is neater. Also removed use of rap? combinators for the time being. rap? combinators implement an optimisation that avoids some Sats. However, keeping these combinators up to date with coming changes is work. Furthermore, this optimisation makes it impossible to find all EDT children in aborted computations; note that more changes are necessary to enable finding of EDT children in aborted computations.

1 0

Portable version:
by olaf＠sparud.net 13 Nov '01

13 Nov '01

olaf: Tue Nov 13 15:28:40 CET 2001 Update of /usr/src/master/nhc/src/prelude/Hat In directory hinken:/tmp/cvs-serv19660/src/prelude/Hat Modified Files: Hat.hs Makefile TPrelude.hs Log Message: Portable version: Introduced type constructor Fun (newtype) that replaces -> in transformed code. Thus (->) can be used in traced programs with less than two arguments; also transformation of types is neater. Also removed use of rap? combinators for the time being. rap? combinators implement an optimisation that avoids some Sats. However, keeping these combinators up to date with coming changes is work. Furthermore, this optimisation makes it impossible to find all EDT children in aborted computations; note that more changes are necessary to enable finding of EDT children in aborted computations.

1 0

Portable version:
by olaf＠sparud.net 13 Nov '01

13 Nov '01

olaf: Tue Nov 13 15:28:39 CET 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv19660/include Modified Files: Hat.hi TPrelude.hi Log Message: Portable version: Introduced type constructor Fun (newtype) that replaces -> in transformed code. Thus (->) can be used in traced programs with less than two arguments; also transformation of types is neater. Also removed use of rap? combinators for the time being. rap? combinators implement an optimisation that avoids some Sats. However, keeping these combinators up to date with coming changes is work. Furthermore, this optimisation makes it impossible to find all EDT children in aborted computations; note that more changes are necessary to enable finding of EDT children in aborted computations.

1 0

Bugfix for strict datatypes in the (old) tracing transform
by malcolm＠sparud.net 13 Nov '01

13 Nov '01

malcolm: Tue Nov 13 15:18:15 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv19549 Modified Files: DbgDataTrans.hs Log Message: Bugfix for strict datatypes in the (old) tracing transformation. Previously, a type like data AB a = C !a !a was transformed to data AB a = C (R !a) (R !a) This type is incorrect, but appeared in interface files nevertheless, whence it could not be parsed back in. This fix makes the transformation produce the type data AB a = C !(R a) !(R a) which is also somewhat incorrect (or misleading) but is actually parsable.

1 0

Multiple definitions of a CAF should be an error.
by malcolm＠sparud.net 13 Nov '01

13 Nov '01

malcolm: Tue Nov 13 15:01:07 CET 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv19418 Modified Files: Rename.hs Log Message: Multiple definitions of a CAF should be an error. This fix, when grouping function clauses together, ensures that separate clauses of a CAF are never grouped. Hence, the multiple definition can be detected later.

1 0