- Cvs-nhc98 - Haskell.org

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

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