October 2006 - Cvs-nhc98

patch applied (hat): Introduce Sat for outermost application on rhs of pattern binding.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 27 02:53:55 PDT 2001 olaf * 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%. M ./src/compiler98/DbgTrans.hs -17 +15

1 0

patch applied (hat): Add variable names to top-level trusted pattern bindings.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 26 10:28:19 PDT 2001 olaf * 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. M ./src/compiler98/DbgTrans.hs -1 +48

1 0

patch applied (hat): Improved trace construction for suspected pattern bindings.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 26 08:31:46 PDT 2001 olaf * 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. M ./src/compiler98/DbgTrans.hs -4 +7 M ./src/hattools/browsercomms.c -2 +2 M ./src/old/trail/DbgPanel.java -13 +13

1 0

patch applied (hat): Top-level trusted cafs get names.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 25 10:25:33 PDT 2001 olaf * 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. M ./src/compiler98/DbgId.hs -3 +3 M ./src/compiler98/DbgTrans.hs -14 +67

1 0

patch applied (hat): Fix modinfo pointer-alignment in obsolete section of code.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 25 06:13:17 PDT 2001 malcolm * Fix modinfo pointer-alignment in obsolete section of code. (Committed just in case we ever decide to resurrect the old stuff.) M ./src/old/runtime/browsercomms.c -3 +3

1 0

patch applied (hat): Avoid a coredump if modinfo does not exist.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 25 06:10:55 PDT 2001 malcolm * Avoid a coredump if modinfo does not exist. M ./src/old/runtime/fileformat.c -1 +4

1 0

patch applied (hat): Extra configuration for IBM Power3-AIX architecture.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 25 06:08:22 PDT 2001 malcolm * Extra configuration for IBM Power3-AIX architecture. M ./script/harch +8

1 0

patch applied (hat): Corrected bug of unevaluated partial applications of constructors.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 25 03:31:55 PDT 2001 olaf * Corrected bug of unevaluated partial applications of constructors. The combinator `eagerSat' was not the source of the bug. Hence I resurrected it. The source was that data constructors defined in trusted modules were trusted. However, they should always be suspected so that their application is recorded in the trace. Changed fileformat.c accordingly. The Mate trace file grows by 2%. M ./src/compiler98/DbgTrans.hs -1 +1 M ./src/old/runtime/fileformat.c -1 +1

1 0

patch applied (hat): Remove debugging printf from signum (tracing only).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Apr 24 04:26:09 PDT 2001 malcolm * Remove debugging printf from signum (tracing only). M ./src/old/runtime/numeric.c -1 +1

1 0

patch applied (hat): A bunch of minor docmentation updates.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Apr 24 02:48:27 PDT 2001 malcolm * A bunch of minor docmentation updates. M ./COPYRIGHT -9 +21 M ./docs/feature-table.html -12 +12

1 0