- Cvs-hugs - Haskell.org

cvs commit: hugs98/tests/static Mod122_A.hs
by ross＠glass.cse.ogi.edu 13 Sep '02

13 Sep '02

ross 2002/09/13 02:44:37 PDT Modified files: tests/static Mod122_A.hs Log: Fixed typo. Revision Changes Path 1.2 +1 -1 hugs98/tests/static/Mod122_A.hs

1 0

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

cvs commit: hugs98/libraries/Hugs Storable.hs
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 10:09:38 PDT Modified files: libraries/Hugs Storable.hs Log: Trim unused size calls. Revision Changes Path 1.4 +0 -19 hugs98/libraries/Hugs/Storable.hs

1 0

cvs commit: hugs98/tests testScript hugs98/tests/libs libs1.hs libs2.hs
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 08:07:25 PDT Modified files: tests testScript Added files: tests/libs libs1.hs libs2.hs Log: Split the hslibs test into two pieces, because with the hierarchical libs it runs out of memory. Revision Changes Path 1.25 +2 -2 hugs98/tests/testScript

1 0

cvs commit: hugs98/tests/ffi FileIO_aux.h FileIO.hs FileIO_aux.c
by Sigbjorn Finne 12 Sep '02

12 Sep '02

sof 2002/09/12 08:02:46 PDT Modified files: tests/ffi FileIO.hs FileIO_aux.c Added files: tests/ffi FileIO_aux.h Log: tidied up a few loose ends Revision Changes Path 1.4 +3 -3 hugs98/tests/ffi/FileIO.hs 1.3 +10 -5 hugs98/tests/ffi/FileIO_aux.c

1 0

cvs commit: hugs98/tests testScript
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 07:39:12 PDT Modified files: tests testScript Log: If testScript is invoked with no args, test everything. Revision Changes Path 1.24 +5 -0 hugs98/tests/testScript

1 0

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

12 Sep '02

sof 2002/09/12 06:50:41 PDT Modified files: src static.c Log: checkImportEntity(): (..) imports of classes/types bring into scope the methods/dcons _exported_, not defined. Revision Changes Path 1.93 +22 -5 hugs98/src/static.c

1 0

cvs commit: hugs98/tests/static mod120.hs mod120.output Mod120_A.hs mod121.hs mod121.output Mod121_A.hs hugs98/tests testScript
by Sigbjorn Finne 12 Sep '02

12 Sep '02

sof 2002/09/12 06:48:38 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 mod120.hs mod120.output Mod120_A.hs mod121.hs mod121.output Mod121_A.hs Log: testing importation of partially exported classes/dtypes Revision Changes Path 1.23 +2 -0 hugs98/tests/testScript

1 0

cvs commit: hugs98/libraries/Hugs Prelude.hs
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 05:48:29 PDT Modified files: libraries/Hugs Prelude.hs Log: export Ratio((:%)) for use by Data.Ratio (works without it now, due to an import bug). Revision Changes Path 1.2 +1 -0 hugs98/libraries/Hugs/Prelude.hs

1 0

cvs commit: hugs98/libraries/Hugs Trex.hs
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 05:23:56 PDT Added files: libraries/Hugs Trex.hs Log: Trex doesn't work with the new libraries, because the Prelude doesn't export the special names any more -- use Hugs.Trex instead.

1 0

cvs commit: hugs98/src/unix convert_libraries
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 05:00:42 PDT Modified files: src/unix convert_libraries Log: add System.Posix.Types. Revision Changes Path 1.26 +2 -0 hugs98/src/unix/convert_libraries

1 0

cvs commit: hugs98/src builtin.c hugs98/libraries/Hugs Int.hs Word.hs
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 04:59:36 PDT Modified files: src builtin.c libraries/Hugs Int.hs Word.hs Log: Add instances for Int64/Word64. The relationship to C types doesn't seem to be working, but at least the types seem internally consistent. (I'm not sure of the order of the hi&lo parts in the 64<->Integer functions, though.) Mainly for type-checking at this stage. Revision Changes Path 1.32 +6 -6 hugs98/src/builtin.c 1.4 +57 -1 hugs98/libraries/Hugs/Int.hs 1.7 +57 -11 hugs98/libraries/Hugs/Word.hs

1 0

cvs commit: hugs98/src bignums.c
by ross＠glass.cse.ogi.edu 12 Sep '02

12 Sep '02

ross 2002/09/12 04:52:46 PDT Modified files: src bignums.c Log: Make bigToInt work for MINNEGINT, e.g. try fromIntegral (minBound::Int) :: Int Revision Changes Path 1.6 +26 -12 hugs98/src/bignums.c

1 0

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

11 Sep '02

sof 2002/09/11 16:48:52 PDT Modified files: src static.c Log: - checkExport(): data constructors cannot appear as orphans in export lists, so don't check for this. The test that was here was in fact directly harmful, as it caused type synonyms to be exported like a data con. Leave behind a comment explaining the deal, should exportation of dcons be supported sometime in the future (not likely, but still.) - express mergeImportLists() in terms of addEntityPair(), allowing us to delete some code for once. Revision Changes Path 1.92 +18 -70 hugs98/src/static.c

1 0

CVS Hugs FFI problems
by Simon Marlow 11 Sep '02

11 Sep '02

Ok, I thought I'd try out the latest CVS Hugs with the new libraries, so I can try to avoid checking in breaking changes to the libraries in the future. Here's where I got to: - I discovered that saying 'make' in src/unix gives you a version of Hugs that works well in-place without having to give it any extra options. This is nice, perhaps the Install doc could mention it? - 'make libraries' in src/ seemed to go smoothly. Then I discovered that I couldn't :load Foreign in Hugs, because it needs the FFI declarations to be processed first (the docs do mention this, but I don't read docs until something goes wrong :-) - So I tried 'make install_libraries_ffi' which looks like it ought to do the right thing. I commented out the dependencies on 'install' etc. since I don't want to install anything (perhaps this could be an option? or a separate make target?). Anway, I got the following error: ~/tmp/hugs98/src > make install_libraries_ffi ./ffihugs -P'{Hugs}/libraries:{Hugs}/oldlib:{Hugs}/lib/hugs' +G +L"../libraries/Hugs/Storable_aux.c" Hugs.Storable runhugs: Error occurred Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Prelude.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Prelude.hs": Reading file "/home/simonmar/tmp/hugs98/lib/hugs/HugsDynamic.hs": Reading file "/home/simonmar/tmp/hugs98/oldlib/IOExts.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IOExts.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IO.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Ix.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IO.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IOExts.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IORef.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IOArray.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Array.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/List.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Maybe.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/List.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Array.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Dynamic.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Either.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Int.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Int.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Bits.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Int.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Int.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Word.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Word.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Ratio.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/Word.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Word.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Foreign/Ptr.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Foreign/StablePtr.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/StablePtr.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Foreign/StablePtr.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Data/Dynamic.hs": Reading file "/home/simonmar/tmp/hugs98/libraries/Hugs/IOArray.hs": Reading file "/home/simonmar/tmp/hugs98/oldlib/IOExts.hs": Reading file "/home/simonmar/tmp/hugs98/oldlib/Addr.hs": Reading file "/home/simonmar/tmp/hugs98/lib/hugs/HugsDynamic.hs": INTERNAL ERROR: checkImportEntity2 Cheers, Simon

3 6

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

11 Sep '02

sof 2002/09/11 13:50:28 PDT Modified files: src static.c Log: - addEntity(): fixed braino - checkImportEntity(): changed failure condition now that we're a bit more structured about managing import lists. Revision Changes Path 1.91 +11 -7 hugs98/src/static.c

1 0