- Cvs-nhc98 - Haskell.org

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

Add new trace transformation phase (just after parsing)
by olaf＠sparud.net 25 Jul '01

25 Jul '01

olaf: Wed Jul 25 15:17:09 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv14588/src/compiler98 Modified Files: DbgDataTrans.hs Main.hs Remove1_3.hs TokenId.hs TokenInt.hs TraceId.hs Added Files: TraceTrans.hs Log Message: Add new trace transformation phase (just after parsing) The new module TraceTrans is a completely rewritten version of DbgDataTrans and DbgTrans. If you call nhc with -hx it will, after parsing, read and write the .hx files, then apply the new transformation and finally pretty print the result of the transformation. Nearly all names are prefixed by a character. Note that the new transformation only is for untrusted traced modules. Until a wrapping scheme for trusted modules makes the prelude available, the transformation cannot be properly trusted. The transformation also needs some new trace generating combinators that are not yet implemented: mkModule, mkPos, mkAtomId It also assumes that all combinators are imported from module "T", not the prelude any more (but easy to change for testing). A few language constructs are still missing, but it should yield syntactically correct transformed Haskell programs for most input. To handle imports (and exports) of the form TyCon(..) correctly, TraceId should provide an additinal function tyConDataCons :: TraceId -> Maybe [TraceId] that returns the data constructors for a type constructors, if the traceId is a type constructor and all data constructors are exported.

1 0

- Fixed space leak in Expressions.c
by thorsten＠sparud.net 23 Jul '01

23 Jul '01

thorsten: Mon Jul 23 20:32:54 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv1285 Modified Files: Expressions.c hashtable.c hat-observe.c observe.c Log Message: - Fixed space leak in Expressions.c - resolve function traces pointing to SATs for all applications in observe.c => fix problem with higher order values returned by functions

1 0