April 2001 - Cvs-nhc98

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

19 Apr '01

olaf: Thu Apr 19 12:24:05 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv24323/include Modified Files: Prelude.T.hi 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

nhc98 doesn't like import of a named field via import Flag
by malcolm＠sparud.net 18 Apr '01

18 Apr '01

malcolm: Wed Apr 18 13:13:22 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv17719 Modified Files: DbgTrans.hs Log Message: nhc98 doesn't like import of a named field via import Flags(sDbgTrans). Change to import Flags(Flags(..)).

1 0

Eliminate safety 'blanking' in garbage collector.
by malcolm＠sparud.net 18 Apr '01

18 Apr '01

malcolm: Wed Apr 18 13:04:20 CEST 2001 Update of /usr/src/master/nhc/src/runtime/Kernel In directory hinken:/tmp/cvs-serv17662 Modified Files: collector.c Log Message: Eliminate safety 'blanking' in garbage collector. The GC was filling freed memory with zeros, but only when tracing. I presume the reason was for safety, to ensure that trace-pruning was not corrupting liveness properties. With trails in file, we no longer use GC pruning of trails, and in any case we believe it was bug-free code anyway. Eliminating this pass gains a typical 12% speedup for traced programs.

1 0

Introduced even more Sats and resurrected field selectors.
by olaf＠sparud.net 18 Apr '01

18 Apr '01

olaf: Wed Apr 18 12:28:37 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv17577/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Introduced even more Sats and resurrected field selectors. The application of a saturated application never had a Sat. Now it has. If a trusted application is recorded (because the function is suspected), then it has a Sat. There are now even more SatCs. Filesize grows by ~2%, runtime grows by ~2%. Corrected implementation of transformed field selectors. The definitions are derived at transformation time and subsequently transformed. Because nhc derives the type of imported selectors from data definitions, these types have to be patched by the transformation. Now application of a field selector to a value that does not contain the field is caught correctly in the transformed code.

1 0

Introduced even more Sats and resurrected field selectors.
by olaf＠sparud.net 18 Apr '01

18 Apr '01

olaf: Wed Apr 18 12:28:35 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv17577/src/compiler98 Modified Files: DbgDataTrans.hs DbgTrans.hs IExtract.hs Remove1_3.hs Log Message: Introduced even more Sats and resurrected field selectors. The application of a saturated application never had a Sat. Now it has. If a trusted application is recorded (because the function is suspected), then it has a Sat. There are now even more SatCs. Filesize grows by ~2%, runtime grows by ~2%. Corrected implementation of transformed field selectors. The definitions are derived at transformation time and subsequently transformed. Because nhc derives the type of imported selectors from data definitions, these types have to be patched by the transformation. Now application of a field selector to a value that does not contain the field is caught correctly in the transformed code.

1 0

Rename 'rtb' to 'hat-trail' in Makefile.
by malcolm＠sparud.net 17 Apr '01

17 Apr '01

malcolm: Tue Apr 17 13:25:06 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv15313 Modified Files: Makefile Log Message: Rename 'rtb' to 'hat-trail' in Makefile.

1 0

Obsolete.
by malcolm＠sparud.net 17 Apr '01

17 Apr '01

malcolm: Tue Apr 17 13:07:59 CEST 2001 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv15268 Removed Files: nhc98tracer.inst Log Message: Obsolete.

1 0

Rename 'rtb' to 'hat-trail' in configure script.
by malcolm＠sparud.net 17 Apr '01

17 Apr '01

malcolm: Tue Apr 17 13:07:16 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv15241 Modified Files: configure Log Message: Rename 'rtb' to 'hat-trail' in configure script.

1 0

Reintroduced Sats
by olaf＠sparud.net 12 Apr '01

12 Apr '01

olaf: Thu Apr 12 19:08:17 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv2282/src/compiler98 Modified Files: DbgTrans.hs Log Message: Reintroduced Sats Now in suspected code an application or Caf name only has no Sat, if its result is the same as the result of the parent. Note that in trusted code there are less Sats. A Sat is only constructed, if the unevaluated expression can be returned to suspected code (especially as argument of a constructor). Actually this is not quite true and needs to be corrected. There are now more SatCs than before. Filesize grows by 1%, speed change not noticeable. Undid part of previous implementation of field name selectors. They disturbed correct working of Cafs. So for now only selectors for data types that are defined in the same module will work.

1 0

Partial support for traced named fields.
by olaf＠sparud.net 12 Apr '01

12 Apr '01

olaf: Thu Apr 12 16:53:36 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv2021/src/compiler98 Modified Files: DbgDataTrans.hs DbgTrans.hs IExtract.hs Import.hs Log Message: Partial support for traced named fields. Patterns with named fields work now (simple extension of transformation). Using field names as selectors works. However, if the result of the selection is `undefined', because the datum does not contain the named field, then the traced program performs a segmentation fault. Tracing field names as selectors is difficult, because although nhc distinguishes between a name used as selector or for construction/updating, nhc doesn't write the type of a selector into an interface file but determines it from the data definition. But for tracing the selector needs a differnt type. At the moment at every call site of the selector a wrapper is put round the original, untransformed selector. But that way we cannot handle errors caused by the selector ...

1 0