April 2001 - Cvs-nhc98

A bunch of minor docmentation updates.
by malcolm＠sparud.net 24 Apr '01

24 Apr '01

malcolm: Tue Apr 24 11:48:27 CEST 2001 Update of /usr/src/master/nhc/docs/implementation-notes In directory hinken:/tmp/cvs-serv11620/docs/implementation-notes Modified Files: space-efficient Log Message: A bunch of minor docmentation updates.

1 0

A bunch of minor docmentation updates.
by malcolm＠sparud.net 24 Apr '01

24 Apr '01

malcolm: Tue Apr 24 11:48:27 CEST 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv11620/docs/hat Modified Files: feature-table.html Log Message: A bunch of minor docmentation updates.

1 0

A bunch of minor docmentation updates.
by malcolm＠sparud.net 24 Apr '01

24 Apr '01

malcolm: Tue Apr 24 11:48:25 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv11620 Modified Files: COPYRIGHT Log Message: A bunch of minor docmentation updates.

1 0

No log message
by malcolm＠sparud.net 23 Apr '01

23 Apr '01

malcolm: Mon Apr 23 12:24:48 CEST 2001 Update of /usr/src/master/nhc/src/runtime/Builtin In directory hinken:/tmp/cvs-serv8105 Modified Files: cOpen.c Log Message: fix: openFile ReadWriteMode was actually opening in ReadMode only.

1 0

Removed combinator eagerSat in PreludeDebug.
by olaf＠sparud.net 20 Apr '01

20 Apr '01

olaf: Fri Apr 20 20:35:00 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv1640/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Removed combinator eagerSat in PreludeDebug. The use of eagerSat lead to strange unevaluated arguments when constructors were partially applied.

1 0

Allow hat-connect to find src files by following directori
by malcolm＠sparud.net 20 Apr '01

20 Apr '01

malcolm: Fri Apr 20 16:52:18 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv1363 Modified Files: utils.c Log Message: Allow hat-connect to find src files by following directories.

1 0

Enable sharing of traced methods that are cafs.
by olaf＠sparud.net 19 Apr '01

19 Apr '01

olaf: Thu Apr 19 16:26:14 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv25197/src/compiler98 Modified Files: DbgTrans.hs Log Message: Enable sharing of traced methods that are cafs. Methods definitions were always transformed as functions, even when they had arity 0. The reason was that an instance or class definition may not contain definitions for any other variables than the class variables. Such additional definitions are necessary to implement the sharing of cafs. Now the transformation distinguishes between the transformed definitions for the original variables and additional auxillary definitions. The latter are put just behind the instance/class definitions. The Mate trace file gets 1% smaller. Surprisingly runtime seems to slow down by 2-3%.

1 0

Corrected typo in definition of combinator fun6.
by olaf＠sparud.net 19 Apr '01

19 Apr '01

olaf: Thu Apr 19 12:32:45 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv24395/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Corrected typo in definition of combinator fun6. The last line was missing in the definition. Unfortunately the definition was type correct, only with a different type. Because Prelude.T.hi is handmade, the inconsistency could not be detected by the system. It seems the examples Adjoxo,Mate etc. don't have a function with six arguments, otherwise they would surely have core dumped.

1 0

Completed tracing of named fields.
by olaf＠sparud.net 19 Apr '01

19 Apr '01

olaf: Thu Apr 19 12:24:07 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv24323/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Completed tracing of named fields. Now tracing of record construction and update is supported as well. However, the trace only shows the evaluation of the desugared program, that is, record construction is shown as data constructor application (possibly with `undefined' arguments) and record update is shown as use of the `case' construct. The trace file format needs to be extended to enable showing this operations properly. It would be nice if for all data constructors which have named fields these were always shown in the browser. Also: Corrected bug in records: x(C{x=1}{x=2}) evaluated to 1 instead of 2. Added missing type declaration of `readFile' to Prelude.T.hi. Handle the definition of `undefined' specially in the tracing transformation. `undefined' is treated as nullary function, not as caf. Thus it has a proper parent. Corrected combinators for nullary functions. They were too strict.

1 0

Completed tracing of named fields.
by olaf＠sparud.net 19 Apr '01

19 Apr '01

olaf: Thu Apr 19 12:24:07 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv24323/src/compiler98 Modified Files: DbgDataTrans.hs DbgTrans.hs Remove1_3.hs Type.hs TypeLib.hs Log Message: Completed tracing of named fields. Now tracing of record construction and update is supported as well. However, the trace only shows the evaluation of the desugared program, that is, record construction is shown as data constructor application (possibly with `undefined' arguments) and record update is shown as use of the `case' construct. The trace file format needs to be extended to enable showing this operations properly. It would be nice if for all data constructors which have named fields these were always shown in the browser. Also: Corrected bug in records: x(C{x=1}{x=2}) evaluated to 1 instead of 2. Added missing type declaration of `readFile' to Prelude.T.hi. Handle the definition of `undefined' specially in the tracing transformation. `undefined' is treated as nullary function, not as caf. Thus it has a proper parent. Corrected combinators for nullary functions. They were too strict.

1 0