April 2001 - Cvs-nhc98

Some re-organisation and improvement to docs.
by malcolm＠sparud.net 27 Apr '01

27 Apr '01

malcolm: Fri Apr 27 14:40:10 CEST 2001 Update of /usr/src/master/nhc/docs In directory hinken:/tmp/cvs-serv4236 Modified Files: 98.html contrib.html greencard-york.html index.html install.html libraries.html limits.html limits.html.inst status.html york-release.html Added Files: download.html Log Message: Some re-organisation and improvement to docs.

1 0

Some re-organisation and improvement to docs.
by malcolm＠sparud.net 27 Apr '01

27 Apr '01

malcolm: Fri Apr 27 14:40:11 CEST 2001 Update of /usr/src/master/nhc/docs/hmake In directory hinken:/tmp/cvs-serv4236/hmake Modified Files: hmake.html Log Message: Some re-organisation and improvement to docs.

1 0

Avoid unnecessary pattern matching in ?ap? combinators.
by olaf＠sparud.net 27 Apr '01

27 Apr '01

olaf: Fri Apr 27 12:31:43 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv3721/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Avoid unnecessary pattern matching in ?ap? combinators. In those combinators where the trace component of a wrapped expression is not always needed, pattern matching on `R' is moved to a case expression in the combinator body. Time measurements are too imprecise to determine if this has any effect on runtime.

1 0

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

27 Apr '01

olaf: Fri Apr 27 11:53:56 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv3581/src/compiler98 Modified Files: DbgTrans.hs Log Message: Introduce Sat for outermost application on rhs of pattern binding. The outermost application on a rhs usually doesn't have a Sat, because the result equals the result of the parent, which is the lhs. However, for pattern bindings the lhs is not the parent. So hat-observe needs the Sat in that case. If the rhs of a pattern binding is a single lambda-bound variable, we no longer create an indirection. However, this indirection seems pretty pointless anyway, the parent of the variable value is probably more interesting. Increases Mate trace file by 0.02%.

1 0

Add variable names to top-level trusted pattern bindings.
by olaf＠sparud.net 26 Apr '01

26 Apr '01

olaf: Thu Apr 26 19:28:20 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv29404/src/compiler98 Modified Files: DbgTrans.hs Log Message: Add variable names to top-level trusted pattern bindings. Similar to top-level trusted cafs. In practise this probably hardly occurs. However, this variable names are only shown if the variables are not evaluated. If they are, they are no longer reachable in the trace. That may mean, that there is only root as printable representation of the result. However, it is unclear where the variable names should be added to the trace.

1 0

Improved trace construction for suspected pattern bindings
by olaf＠sparud.net 26 Apr '01

26 Apr '01

olaf: Thu Apr 26 17:31:46 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv29243/src/tracer/hat Modified Files: browsercomms.c Log Message: Improved trace construction for suspected pattern bindings. Introduced an indirection in transformation of suspected pattern bindings, so that the whole rhs is reachable in hat-trail. However, the connection to the names of the variables are lost, when they are evaluated. There seems to be no natural point where to add them to the trace. Increases Mate trace file by 1%. Corrected bug in hat-trail which made it impossible to see parents of indirections in many cases. However, hat-trail still does not deal with indirections completely correctly. Pointing at an expression surrounded by an indirection highlights the parent of the expression in yellow, not the parent the indirection points to (and which is shown if asked for). First thought that hat-connect doesn't deal with indirections correctly, but it is in fact correct.

1 0

Improved trace construction for suspected pattern bindings
by olaf＠sparud.net 26 Apr '01

26 Apr '01

olaf: Thu Apr 26 17:31:46 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv29243/src/tracer/ui/nhctracer Modified Files: DbgPanel.java Log Message: Improved trace construction for suspected pattern bindings. Introduced an indirection in transformation of suspected pattern bindings, so that the whole rhs is reachable in hat-trail. However, the connection to the names of the variables are lost, when they are evaluated. There seems to be no natural point where to add them to the trace. Increases Mate trace file by 1%. Corrected bug in hat-trail which made it impossible to see parents of indirections in many cases. However, hat-trail still does not deal with indirections completely correctly. Pointing at an expression surrounded by an indirection highlights the parent of the expression in yellow, not the parent the indirection points to (and which is shown if asked for). First thought that hat-connect doesn't deal with indirections correctly, but it is in fact correct.

1 0

Improved trace construction for suspected pattern bindings
by olaf＠sparud.net 26 Apr '01

26 Apr '01

olaf: Thu Apr 26 17:31:45 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv29243/src/compiler98 Modified Files: DbgTrans.hs Log Message: Improved trace construction for suspected pattern bindings. Introduced an indirection in transformation of suspected pattern bindings, so that the whole rhs is reachable in hat-trail. However, the connection to the names of the variables are lost, when they are evaluated. There seems to be no natural point where to add them to the trace. Increases Mate trace file by 1%. Corrected bug in hat-trail which made it impossible to see parents of indirections in many cases. However, hat-trail still does not deal with indirections completely correctly. Pointing at an expression surrounded by an indirection highlights the parent of the expression in yellow, not the parent the indirection points to (and which is shown if asked for). First thought that hat-connect doesn't deal with indirections correctly, but it is in fact correct.

1 0

Top-level trusted cafs get names.
by olaf＠sparud.net 25 Apr '01

25 Apr '01

olaf: Wed Apr 25 19:25:33 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv26130/src/compiler98 Modified Files: DbgId.hs DbgTrans.hs Log Message: Top-level trusted cafs get names. Top-level trusted cafs (such as concat and unlines) now have a name node in the trace, so that this name can be shown. Note that only top-level trusted cafs can be called from suspected code (that local trusted cafs might be returned to suspected code is irrelevant; because this code is trusted, it should not be shown (just a hidden tag)). Something similar should probably be done for top-level trusted pattern bindings. However, these need some redesign in other respects also. Also changed transformation so that no source reference table entries for empty source references (noPos) are created.

1 0

Top-level trusted cafs get names.
by olaf＠sparud.net 25 Apr '01

25 Apr '01

olaf: Wed Apr 25 19:25:32 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv26130/include Modified Files: Prelude.T.hi Log Message: Top-level trusted cafs get names. Top-level trusted cafs (such as concat and unlines) now have a name node in the trace, so that this name can be shown. Note that only top-level trusted cafs can be called from suspected code (that local trusted cafs might be returned to suspected code is irrelevant; because this code is trusted, it should not be shown (just a hidden tag)). Something similar should probably be done for top-level trusted pattern bindings. However, these need some redesign in other respects also. Also changed transformation so that no source reference table entries for empty source references (noPos) are created.

1 0