September 2002 - Cvs-hugs

cvs commit: hugs98/src static.c
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 22:30:51 PDT Modified files: src static.c Log: Have checkExportTycon() and checkExportClass() add to export list using addEntity(), clearing up a bug in the handling of cumulative exporting of types/classes. Revision Changes Path 1.97 +12 -8 hugs98/src/static.c

1 0

cvs commit: hugs98/tests/static mod128.hs Mod128_A.hs hugs98/tests testScript
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 22:28:18 PDT Modified files: tests testScript Added files: tests/static mod128.hs Mod128_A.hs Log: testing cumulative exporting Revision Changes Path 1.29 +1 -0 hugs98/tests/testScript

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 22:07:16 PDT Modified files: src static.c Log: checkImportEntity(): work harder to handle 'hidings' of qconids that map to both a dcon and (a class or a tycon), i.e., import A hiding (B) hides a dcon, a class and a tycon B (the last two are mutually exclusive, of course.) Revision Changes Path 1.96 +17 -13 hugs98/src/static.c

1 0

cvs commit: hugs98/tests/static mod124.hs mod124.output Mod124_A.hs mod125.hs mod125.output mod126.hs mod126.output Mod126_A.hs mod127.hs mod127.output hugs98/tests testScript
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 22:01:27 PDT Modified files: tests testScript Added files: tests/static mod124.hs mod124.output Mod124_A.hs mod125.hs mod125.output mod126.hs mod126.output Mod126_A.hs mod127.hs mod127.output Log: more 'hiding' tests Revision Changes Path 1.28 +4 -0 hugs98/tests/testScript

1 0

cvs commit: hugs98/tests testScript
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 21:31:57 PDT Modified files: tests testScript Log: hook up static/mod116's expected output file Revision Changes Path 1.27 +1 -1 hugs98/tests/testScript

1 0

cvs commit: hugs98/tests/static mod122.hs mod122.output Mod122_A.hs mod123.hs mod123.output Mod123_A.hs hugs98/tests testScript
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 21:24:48 PDT Sender: cvs-hugs-admin(a)haskell.org Errors-To: cvs-hugs-admin(a)haskell.org X-BeenThere: cvs-hugs(a)haskell.org X-Mailman-Version: 2.0.8 Precedence: bulk List-Help: <mailto:cvs-hugs-request@haskell.org?subject=help> List-Post: <mailto:cvs-hugs@haskell.org> List-Subscribe: <http://www.haskell.org/mailman/listinfo/cvs-hugs>, <mailto:cvs-hugs-request@haskell.org?subject=subscribe> List-Id: Hugs CVS commit messages <cvs-hugs.haskell.org> List-Unsubscribe: <http://www.haskell.org/mailman/listinfo/cvs-hugs>, <mailto:cvs-hugs-request@haskell.org?subject=unsubscribe> List-Archive: <http://www.haskell.org/pipermail/cvs-hugs/> Modified files: tests testScript Added files: tests/static mod122.hs mod122.output Mod122_A.hs mod123.hs mod123.output Mod123_A.hs Log: more method/field name exportation tests Revision Changes Path 1.26 +2 -0 hugs98/tests/testScript

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 13 Sep '02

13 Sep '02

sof 2002/09/12 21:23:20 PDT Modified files: src static.c Log: Correctly handle modules that export methods/field names, but not their corresponding class/type. Do this by accumulating these 'orphan' exports in a separate list during traversal of the export list in checkExport(). These delayed exports are then afterwards added to the export list entry for their parent class/type, but only if that entity is already exported. Revision Changes Path 1.95 +80 -30 hugs98/src/static.c

1 0

Bugs
by Simon Marlow 12 Sep '02

12 Sep '02

Hugs folk, I thought I'd run the latest Hugs against some of the GHC tests, in particular to test the module system since it's received some attention recently. I've found a few bugs... all these test cases can be found under fptools/testsuite/rename. 1. Hiding constructors doesn't work properly. See rename/prog002, which should fail to compile. 2. Pattern bindings which bind no variables are erroneously disallowed (rename/should_compile/rn003). 3. some problem with qualified imports (rename/should_compile/rn026 and rename/should_compile/rn027). 4. defining a variable which clashes with an import is ok as long as the variable is never referred to. Hugs disallows it. (rename/should_compile/rn029). 5. some problem with empty declaration lists (rename/should_compile/rn034). 6. infix declarations are legal inside a class declaration (rename/should_compile/rn035). 7. precedence parsing with unary negation is wrong. (rename/should_fail/rnfail017.hs). 8. it appears that extra qualified names are being brough into scope (rename/should_fail/rnfail030.hs and rnfail031.hs). 9. hiding doesn't work with qualified imports (rename/should_fail/rnfail032.hs and rnfail033.hs). 10. naming a constructor in an export list is illegal. (rename/should_fail/rnfail035.hs). We really ought to think about merging our test suites at some point; the stuff in fptools/testsuite is supposed to be largely compiler-independednt, but it will need some work to make it go through with Hugs. Cheers, Simon

3 3

cvs commit: hugs98/tests/static mod116.output mod116.hs Mod116_A.hs Mod116_B.hs
by Sigbjorn Finne 12 Sep '02

12 Sep '02

sof 2002/09/12 14:57:06 PDT Modified files: tests/static mod116.hs Added files: tests/static mod116.output Removed files: tests/static Mod116_A.hs Mod116_B.hs Log: updated Revision Changes Path 1.2 +3 -5 hugs98/tests/static/mod116.hs

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 12 Sep '02

12 Sep '02

sof 2002/09/12 14:23:27 PDT Modified files: src static.c Log: Handling of data constructors in import/export lists: - in export lists, flag an error if a dcon does appear in an export list (used to be silent.) - checkImportEntity(): if the imported entity is possibly a dcon, peer inside the imported module's tycons looking for it. As was, importing/hiding dcons wasn't permitted. Revision Changes Path 1.94 +59 -22 hugs98/src/static.c

1 0