April 2001 - Cvs-nhc98

Set size of SAT stack via command-line -V option which alr
by malcolm＠sparud.net 11 Apr '01

11 Apr '01

malcolm: Wed Apr 11 13:34:38 CEST 2001 Update of /usr/src/master/nhc/src/runtime/Kernel In directory hinken:/tmp/cvs-serv27418/src/runtime/Kernel Modified Files: haskellInit.c Log Message: Set size of SAT stack via command-line -V option which already sets the size of the runtime evaluation stack.

1 0

Set size of SAT stack via command-line -V option which alr
by malcolm＠sparud.net 11 Apr '01

11 Apr '01

malcolm: Wed Apr 11 13:34:38 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv27418/src/tracer/runtime Modified Files: fileformat.c fileformat.h Log Message: Set size of SAT stack via command-line -V option which already sets the size of the runtime evaluation stack.

1 0

Record trusted partial application of partially applied co
by olaf＠sparud.net 11 Apr '01

11 Apr '01

olaf: Wed Apr 11 12:08:52 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv27168/src/tracer/runtime Modified Files: fileformat.c Log Message: Record trusted partial application of partially applied constructors. If in a trusted application the function was a partial application of a data constructor, then this trusted application was not recorded in the trace. E.g. map ((,) 1) [2,3] showed only hidden nodes as elements of the result list. Changed fileformat.c so that data constructors are always untrusted (independent of their definition module). Then the aforementioned applications are recorded in the trace. Also changed PreludeDebug.hs so that oversaturated applications in trusted code are only recorded in the trace if the result of the saturated application is untrusted. Trace files become slightly (~1%) larger than before without noticeable effect on speed.

1 0

No log message
by olaf＠sparud.net 11 Apr '01

11 Apr '01

olaf: Wed Apr 11 12:08:51 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv27168/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Record trusted partial application of partially applied constructors. If in a trusted application the function was a partial application of a data constructor, then this trusted application was not recorded in the trace. E.g. map ((,) 1) [2,3] showed only hidden nodes as elements of the result list. Changed fileformat.c so that data constructors are always untrusted (independent of their definition module). Then the aforementioned applications are recorded in the trace. Also changed PreludeDebug.hs so that oversaturated applications in trusted code are only recorded in the trace if the result of the saturated application is untrusted. Trace files become slightly (~1%) larger than before without noticeable effect on speed.

1 0

Fixed bug making arith sequence display transient!
by colin＠sparud.net 10 Apr '01

10 Apr '01

colin: Tue Apr 10 19:45:36 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv24819/nhctracer Modified Files: IdName.java Log Message: Fixed bug making arith sequence display transient!

1 0

Added sugar for arithmetic sequences.
by colin＠sparud.net 10 Apr '01

10 Apr '01

colin: Tue Apr 10 18:59:26 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv24734/nhctracer Modified Files: EDTStructuredNode.java IdName.java Log Message: Added sugar for arithmetic sequences.

1 0

Avoid creation of source references to trusted code.
by olaf＠sparud.net 10 Apr '01

10 Apr '01

olaf: Tue Apr 10 18:30:06 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv24647/src/tracer/runtime Modified Files: fileformat.c Log Message: Avoid creation of source references to trusted code. Changed trace transformation and combinators to use mkNoSR for source references to trusted code. The only remaining source references to trusted code are those for the definition position of trusted functions. I didn't want to change the name table, where these are stored. Moreover, it seems desirable to keep at least the information in which module a trusted function is defined. The change decreases numbers of source references and modules only slightly and has no effect on speed. However, curiously the number of Hidden nodes is increased. I have no idea, why. I actually removed some superfluous calls of hide in the trusted application combinators.

1 0

Avoid creation of source references to trusted code.
by olaf＠sparud.net 10 Apr '01

10 Apr '01

olaf: Tue Apr 10 18:30:05 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv24647/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Avoid creation of source references to trusted code. Changed trace transformation and combinators to use mkNoSR for source references to trusted code. The only remaining source references to trusted code are those for the definition position of trusted functions. I didn't want to change the name table, where these are stored. Moreover, it seems desirable to keep at least the information in which module a trusted function is defined. The change decreases numbers of source references and modules only slightly and has no effect on speed. However, curiously the number of Hidden nodes is increased. I have no idea, why. I actually removed some superfluous calls of hide in the trusted application combinators.

1 0

Avoid creation of source references to trusted code.
by olaf＠sparud.net 10 Apr '01

10 Apr '01

olaf: Tue Apr 10 18:30:05 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv24647/src/compiler98 Modified Files: DbgId.hs DbgTrans.hs Remove1_3.hs Log Message: Avoid creation of source references to trusted code. Changed trace transformation and combinators to use mkNoSR for source references to trusted code. The only remaining source references to trusted code are those for the definition position of trusted functions. I didn't want to change the name table, where these are stored. Moreover, it seems desirable to keep at least the information in which module a trusted function is defined. The change decreases numbers of source references and modules only slightly and has no effect on speed. However, curiously the number of Hidden nodes is increased. I have no idea, why. I actually removed some superfluous calls of hide in the trusted application combinators.

1 0

No log message
by olaf＠sparud.net 10 Apr '01

10 Apr '01

olaf: Tue Apr 10 18:30:03 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv24647/include Modified Files: Prelude.T.hi Log Message: Avoid creation of source references to trusted code. Changed trace transformation and combinators to use mkNoSR for source references to trusted code. The only remaining source references to trusted code are those for the definition position of trusted functions. I didn't want to change the name table, where these are stored. Moreover, it seems desirable to keep at least the information in which module a trusted function is defined. The change decreases numbers of source references and modules only slightly and has no effect on speed. However, curiously the number of Hidden nodes is increased. I have no idea, why. I actually removed some superfluous calls of hide in the trusted application combinators.

1 0