- Cvs-nhc98 - Haskell.org

Minor updates re latest revision of Haskell'98 Report.
by malcolm＠sparud.net 06 Apr '01

06 Apr '01

malcolm: Fri Apr 6 15:00:05 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeIO In directory hinken:/tmp/cvs-serv12673/PreludeIO Modified Files: Show_IOError.hs Log Message: Minor updates re latest revision of Haskell'98 Report.

1 0

Minor updates re latest revision of Haskell'98 Report.
by malcolm＠sparud.net 06 Apr '01

06 Apr '01

malcolm: Fri Apr 6 15:00:05 CEST 2001 Update of /usr/src/master/nhc/src/prelude/Random In directory hinken:/tmp/cvs-serv12673/Random Modified Files: Random.hs Log Message: Minor updates re latest revision of Haskell'98 Report.

1 0

Add standard .T.hi file for Random and CPUTime libraries.
by malcolm＠sparud.net 06 Apr '01

06 Apr '01

malcolm: Fri Apr 6 14:58:19 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv12653/include Added Files: CPUTime.T.hi Random.T.hi Log Message: Add standard .T.hi file for Random and CPUTime libraries.

1 0

At last, 'make tracer' really does work without a precedin
by malcolm＠sparud.net 06 Apr '01

06 Apr '01

malcolm: Fri Apr 6 12:31:48 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv12176 Modified Files: Makefile Log Message: At last, 'make tracer' really does work without a preceding 'make basic'.

1 0

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

06 Apr '01

malcolm: Fri Apr 6 11:08:43 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeIO In directory hinken:/tmp/cvs-serv11852/src/prelude/PreludeIO Modified Files: Makefile Log Message: Oops, make sure Interact is not suspected when not tracing!

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:29 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv10193/src/tracer/runtime Modified Files: fileformat.c Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:29 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv10193/src/prelude/PreludeDebug Modified Files: HatArchive.hs PreludeDebug.hs Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:28 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv10193/src/compiler98 Modified Files: DbgId.hs DbgTrans.hs GcodeFix.hs Main.hs PrimCode.hs Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:27 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv10193/include Modified Files: Prelude.T.hi Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Hat: suspect the Interact function by default.
by malcolm＠sparud.net 05 Apr '01

05 Apr '01

malcolm: Thu Apr 5 19:38:41 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeIO In directory hinken:/tmp/cvs-serv9867 Modified Files: Makefile Log Message: Hat: suspect the Interact function by default.

1 0