August 2001 - Cvs-nhc98

Undo a change in combined import qualified/unqualified beh
by malcolm＠sparud.net 23 Aug '01

23 Aug '01

malcolm: Thu Aug 23 15:22:33 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv20109 Modified Files: IExtract.hs Log Message: Undo a change in combined import qualified/unqualified behaviour which slipped in with the last commit.

1 0

Minor formatting/comment changes.
by malcolm＠sparud.net 23 Aug '01

23 Aug '01

malcolm: Thu Aug 23 13:11:06 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv19651 Modified Files: Bind.hs IExtract.hs Import.hs Overlap.hs Rename.hs Log Message: Minor formatting/comment changes.

1 0

Misc minor doc updates.
by malcolm＠sparud.net 17 Aug '01

17 Aug '01

malcolm: Fri Aug 17 17:42:53 CEST 2001 Update of /usr/src/master/nhc/docs In directory hinken:/tmp/cvs-serv18521 Modified Files: bugs.html download.html status.html Log Message: Misc minor doc updates.

1 0

Insert casts to get rid of C compiler warnings about "assi
by malcolm＠sparud.net 17 Aug '01

17 Aug '01

malcolm: Fri Aug 17 17:40:51 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv18486 Modified Files: observe.c Log Message: Insert casts to get rid of C compiler warnings about "assignment from an incompatible pointer type."

1 0

Fix for Mark Tehver's bug report.
by malcolm＠sparud.net 17 Aug '01

17 Aug '01

malcolm: Fri Aug 17 16:04:15 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv18367 Modified Files: Need.hs Log Message: Fix for Mark Tehver's bug report. module Test2(Test(..)) where data Test {a0::Int, b0::Int} module Test1(fn) where import Test2 fn (Test {a0=a}) = a0 t + a gave "Unbound Identifier a0" error. The error was only visible with the combination of three circumstances: * field name is imported * field name is used in a lhs pattern * field name is also used as a selector on the rhs of the *same* equation. The fault was that the need-analysis was binding the selector name as if it were a pattern variable for the equation (as with puns), rather than generating a need for the imported selector.

1 0

Fix final problem for hat-observe:
by thorsten＠sparud.net 16 Aug '01

16 Aug '01

thorsten: Thu Aug 16 16:11:06 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14420 Modified Files: hat-observe.c observe.c Log Message: Fix final problem for hat-observe: applications may indeed reference name nodes, which are somewhere forward in the Redex Trail file, as SAT nodes may point forward. So, the argumentation saying "it's enough to make a linear scan through a file" to find all concerning application nodes is finally disproved. New solution implemented: - use same approach as before, as long as function references point backwards (fortunately almost always the case) - if the function reference of an application eventually references a forward node (very rare case), then follow the entire reference to find out, whether it's an application of interest or not.

1 0

Change internal representation of export decls.
by malcolm＠sparud.net 08 Aug '01

08 Aug '01

malcolm: Wed Aug 8 16:58:19 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv16932 Modified Files: AuxFile.hs AuxLabelAST.hs Need.hs Parse2.hs PreImport.hs PrettySyntax.hs Syntax.hs TraceTrans.hs Log Message: Change internal representation of export decls. * Previously, the two cases module M where module M () where were not distinguished! The former should export everything, the latter nothing. * In the old representation both cases were [] :: [Export id]. * In the new representation :: Maybe [Export id], Nothing means nothing, and Just [] means everything. (Just [...] gives an explicit list of export decls much as before.)

1 0

- modification to hatinterface.c:
by thorsten＠sparud.net 01 Aug '01

01 Aug '01

thorsten: Wed Aug 1 16:18:02 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv1726 Modified Files: detect.c detect.h hat-checki.c hat-detect.c hat-observe.c hatinterface.c hatinterface.h observe.c observe.h Log Message: - modification to hatinterface.c: Apply further (and final) restrictions for the detection of application results. Now, function getResult should detect all cases of nodes, which do not have a result. - observe.c: Algorithm now finds really all (hopefully) applications of the given identifier. Even recursive applications, refering to a node somewhere forward in the trace file are now found. Problems with partial applications have now all (?) been solved, see correction of the "getResult" function. - detect.c: Enhanced algorithm to allow recursive/partial applications to be recognised correctly. They are now to be found at the correct position within the EDT. - hat-detect.c: Redex Trail browser (hat-trail) may now be launched from hat-detect. By answering a question with "r", the java tool is launched and the rhs or lhs of the equation shown in hat-detect can be traced.

1 0