- Cvs-nhc98 - Haskell.org

No log message
by malcolm＠sparud.net 03 May '01

03 May '01

malcolm: Thu May 3 18:41:53 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv25496 Modified Files: Makefile Log Message: Recent changes to DbgTrans.hs require more stack space when building the compiler.

1 0

Tell configure script about hat-detect, hat-observe, hat-i
by malcolm＠sparud.net 02 May '01

02 May '01

malcolm: Wed May 2 16:07:10 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv21966 Modified Files: configure Log Message: Tell configure script about hat-detect, hat-observe, hat-interact.

1 0

No log message
by malcolm＠sparud.net 02 May '01

02 May '01

malcolm: Wed May 2 16:01:28 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv21917 Modified Files: Makefile browsercomms.c Added Files: Expressions.c Expressions.h FunTable.c FunTable.h hashtable.c hashtable.h hat-connect.c hat-detect.c hat-interact.c hat-observe.c hatfile.h hatfileops.c hatfileops.h Log Message: Add Thorsten's hat tools to the larger set. * hat-observe for HOOD-like observation of functions * hat-detect for Freja-like algorithmic debugging * hat-interact for examining hat-check listings Build rules for these are incorporated into the Makefile. Also, move some of 'browsercomms.c' into a new main prog 'hat-connect.c', just for consistency with the other tools.

1 0

No log message
by malcolm＠sparud.net 02 May '01

02 May '01

malcolm: Wed May 2 14:49:33 CEST 2001 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv21413 Modified Files: Makefile.inc Log Message: Improve runtime code from -O2 to -O3 (options to gcc).

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

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

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/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