- Cvs-hugs - Haskell.org

cvs commit: hugs98/tests/static mod162.hs Mod162_A.hs
by Sigbjorn Finne 13 Feb '03

13 Feb '03

sof 2003/02/13 18:03:02 PST Added files: tests/static mod162.hs Mod162_A.hs Log: yet another import/hiding test

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 13 Feb '03

13 Feb '03

sof 2003/02/13 18:01:55 PST Modified files: src static.c Log: be lazy about name clash reporting for field labels/selector also Revision Changes Path 1.142 +20 -12 hugs98/src/static.c

1 0

cvs commit: hugs98/src module.c parser.y
by Sigbjorn Finne 13 Feb '03

13 Feb '03

sof 2003/02/13 18:01:01 PST Modified files: src module.c parser.y Log: In an import/hiding list, represent "T" differently from "T()". The latter cannot refer to a dcon in a hiding list. Revision Changes Path 1.6 +14 -9 hugs98/src/module.c 1.36 +3 -3 hugs98/src/parser.y

1 0

cvs commit: hugs98/src hugs.c hugs98/docs hugs.1.in libraries-notes.txt options.txt
by ross＠glass.cse.ogi.edu 13 Feb '03

13 Feb '03

ross 2003/02/13 02:57:39 PST Modified files: src hugs.c docs hugs.1.in libraries-notes.txt options.txt Log: remove unused +/-N option. Revision Changes Path 1.114 +2 -5 hugs98/src/hugs.c 1.9 +1 -11 hugs98/docs/hugs.1.in 1.9 +39 -51 hugs98/docs/libraries-notes.txt 1.9 +0 -37 hugs98/docs/options.txt

1 0

cvs commit: hugs98/src Makefile.in
by ross＠glass.cse.ogi.edu 12 Feb '03

12 Feb '03

ross 2003/02/12 16:03:23 PST Modified files: src Makefile.in Log: tweaks Revision Changes Path 1.36 +6 -7 hugs98/src/Makefile.in

1 0

cvs commit: hugs98/tests testScript hugs98/tests/tcheck recupd.hs recupd.input recupd.output
by ross＠glass.cse.ogi.edu 12 Feb '03

12 Feb '03

ross 2003/02/12 07:45:29 PST Modified files: tests testScript Added files: tests/tcheck recupd.hs recupd.input recupd.output Log: Test for type checking of record updates. Revision Changes Path 1.48 +1 -0 hugs98/tests/testScript

1 0

Re: bug (?) in type checking of record update
by Ross Paterson 12 Feb '03

12 Feb '03

Jeff, I think this unification should be re-instated: --- type.c 12 Feb 2003 05:49:14 -0000 1.64 +++ type.c 12 Feb 2003 15:42:34 -0000 @@ -1814,11 +1814,8 @@ instantiate(t); shouldBe(line,snd(f),e,update,arg(fun(tr)),or); } /* Unmentioned component */ - /* this is just a sanity check, and avoiding it lets us - handle records with polymoprhic components else if (!unify(arg(fun(td)),od,arg(fun(tr)),or)) internal("typeUpdFlds"); - */ tr = arg(tr); td = arg(td); It always succeeds, because it just unifies the type variable for the input field with the one for the output one, but this affects the type of the expression, and may trigger later errors, e.g. we currently have data Container a = Container { contents :: a, info :: String } Hugs> :t Container { contents = True, info = "foo" } { info = "bar" } Container{contents = True, info = "foo"}{info = "bar"} :: Container a Would that break records with polymorphic components? Ross

1 0

cvs commit: hugs98/src Makefile.in hugs98/src/unix convert_libraries
by ross＠glass.cse.ogi.edu 12 Feb '03

12 Feb '03

ross 2003/02/12 01:33:33 PST Modified files: src Makefile.in src/unix convert_libraries Log: tweaks for Network.Socket Revision Changes Path 1.35 +7 -6 hugs98/src/Makefile.in 1.52 +3 -2 hugs98/src/unix/convert_libraries

1 0

cvs commit: hugs98/src type.c
by Sigbjorn Finne 12 Feb '03

12 Feb '03

sof 2003/02/11 21:49:15 PST Modified files: src type.c Log: typeClassDefn: don't invade user namespace when inventing name for missing method Revision Changes Path 1.64 +14 -5 hugs98/src/type.c

1 0

cvs commit: hugs98/tests testScript hugs98/tests/static mod64.hs mod65.hs
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/11 19:14:48 PST Modified files: tests testScript tests/static mod64.hs mod65.hs Log: mod64,mod65 now pass Revision Changes Path 1.47 +2 -2 hugs98/tests/testScript 1.3 +1 -1 hugs98/tests/static/mod64.hs 1.4 +1 -1 hugs98/tests/static/mod65.hs

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/11 19:13:38 PST Modified files: src static.c Log: extractBindings: allow 'constant' pattern bindings, ie., patterns that bind no vars Revision Changes Path 1.141 +6 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/tests/static mod161.hs mod161.input mod161.output hugs98/tests testScript
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/11 18:17:32 PST Modified files: tests testScript Added files: tests/static mod161.hs mod161.input mod161.output Log: (n+k) pattern binding test Revision Changes Path 1.46 +1 -0 hugs98/tests/testScript

1 0

cvs commit: hugs98/src compiler.c
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/11 18:16:25 PST Modified files: src compiler.c Log: remPat1: shorten out dict-indirections when translating an ADDPAT pattern binding Revision Changes Path 1.15 +26 -9 hugs98/src/compiler.c

1 0

cvs commit: hugs98/libraries/Hugs Prelude.hs
by ross＠glass.cse.ogi.edu 11 Feb '03

11 Feb '03

ross 2003/02/11 04:56:32 PST Modified files: libraries/Hugs Prelude.hs Log: dirty little kludge to make Rational literals work better. In Haskell, floating point literals are applications of fromRational; In Hugs, they're applications of fromDouble, a private method of Fractional. This is fine for the common case where Double is intended, but leads to embarassments like Prelude> 0.3::Rational 5033165 % 16777216 The real solution would be to use Rationals, but that would be hard for an interpreter to optimize. This hack changes fromDouble to yield a decimal fraction, hopefully the one the user gave in the first place, though some precision may be lost, and it doesn't work near the bottom of the range. Revision Changes Path 1.24 +10 -4 hugs98/libraries/Hugs/Prelude.hs

1 0

cvs commit: hugs98/src config.h.in hugs98/src/unix configure
by ross＠glass.cse.ogi.edu 11 Feb '03

11 Feb '03

ross 2003/02/11 04:31:22 PST Modified files: src config.h.in src/unix configure Log: update derived files to match last commit Revision Changes Path 1.17 +30 -0 hugs98/src/config.h.in 1.48 +523 -389 hugs98/src/unix/configure

1 0

cvs commit: hugs98/src/unix configure.in aclocal.m4 acconfig.h
by ross＠glass.cse.ogi.edu 11 Feb '03

11 Feb '03

ross 2003/02/11 04:30:27 PST Modified files: src/unix configure.in aclocal.m4 acconfig.h Log: add extra tests needed by Network.Socket Revision Changes Path 1.54 +15 -1 hugs98/src/unix/configure.in 1.11 +29 -0 hugs98/src/unix/aclocal.m4 1.9 +9 -0 hugs98/src/unix/acconfig.h

1 0

cvs commit: hugs98/src Makefile.in hugs98/src/msc Makefile hugs98/src/winhugs Makefile hugs98/src/unix convert_libraries
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/10 21:10:20 PST 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: src Makefile.in src/msc Makefile src/winhugs Makefile src/unix convert_libraries Log: Convert over the 'network' package. Caveats (potential or otherwise): - Network.Socket.socketToHandle isn't supported yet, rendering the higher-level Network module less than useful (disabled its conversion for now.) - only tested under Win32. Revision Changes Path 1.34 +8 -0 hugs98/src/Makefile.in 1.22 +2 -0 hugs98/src/msc/Makefile 1.11 +2 -0 hugs98/src/winhugs/Makefile 1.51 +16 -7 hugs98/src/unix/convert_libraries

1 0

cvs commit: hugs98/src/msc config.h hugs98/src/winhugs config.h
by Sigbjorn Finne 11 Feb '03

11 Feb '03

sof 2003/02/10 21:01:31 PST Modified files: src/msc config.h src/winhugs config.h Log: upd Revision Changes Path 1.16 +628 -599 hugs98/src/msc/config.h 1.13 +628 -599 hugs98/src/winhugs/config.h

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 10 Feb '03

10 Feb '03

sof 2003/02/10 20:15:01 PST Modified files: src static.c Log: fullerExpand(): handle chains of synonyms / newtypes foreignImport(): permit non-ccall calling conventions. Revision Changes Path 1.140 +8 -2 hugs98/src/static.c

1 0

cvs commit: hugs98/libraries/Hugs Prelude.hs
by Sigbjorn Finne 10 Feb '03

10 Feb '03

sof 2003/02/10 11:02:15 PST Modified files: libraries/Hugs Prelude.hs Log: lex: permit _ to lead off a name/id Revision Changes Path 1.23 +10 -6 hugs98/libraries/Hugs/Prelude.hs

1 0

cvs commit: hugs98/src bignums.c builtin.c compiler.c connect.h input.c interns.c machdep.c machine.c output.c prelude.h printer.c static.c storage.c storage.h type.c hugs98/libraries/Hugs Internals.hs hugs98/tests/rts read.output
by ross＠glass.cse.ogi.edu 10 Feb '03

10 Feb '03

ross 2003/02/10 06:52:04 PST Modified files: src bignums.c builtin.c compiler.c connect.h input.c interns.c machdep.c machine.c output.c prelude.h printer.c static.c storage.c storage.h type.c libraries/Hugs Internals.hs tests/rts read.output Log: make Float = float and Double = double, unless sizeof(double) > 2*sizeof(int). This breaks HugsAPI1, which doesn't distinguish Float/Double, but later versions should be OK. Revision Changes Path 1.9 +16 -10 hugs98/src/bignums.c 1.47 +288 -48 hugs98/src/builtin.c 1.14 +9 -9 hugs98/src/compiler.c 1.66 +5 -3 hugs98/src/connect.h 1.59 +3 -3 hugs98/src/input.c 1.10 +16 -2 hugs98/src/interns.c 1.77 +94 -9 hugs98/src/machdep.c 1.14 +30 -40 hugs98/src/machine.c 1.29 +7 -7 hugs98/src/output.c 1.41 +51 -36 hugs98/src/prelude.h 1.9 +10 -2 hugs98/src/printer.c 1.139 +7 -7 hugs98/src/static.c 1.63 +5 -2 hugs98/src/storage.c 1.51 +13 -3 hugs98/src/storage.h 1.63 +3 -3 hugs98/src/type.c 1.2 +3 -0 hugs98/libraries/Hugs/Internals.hs 1.4 +1 -1 hugs98/tests/rts/read.output

1 0

cvs commit: www/Hugs/pages downloading.htm
by nordland＠glass.cse.ogi.edu 08 Feb '03

08 Feb '03

nordland 2003/02/08 13:24:18 PST Modified files: Hugs/pages downloading.htm Log: Fixed broken MacOS X link (sources & libraries). Revision Changes Path 1.30 +1 -1 www/Hugs/pages/downloading.htm

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 08 Feb '03

08 Feb '03

sof 2003/02/08 07:46:44 PST Modified files: src static.c Log: hasIOResultType: be poly-type savvy Revision Changes Path 1.138 +7 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/src bignums.c
by Sigbjorn Finne 08 Feb '03

08 Feb '03

sof 2003/02/08 07:45:55 PST Modified files: src bignums.c Log: comment wibble Revision Changes Path 1.8 +3 -3 hugs98/src/bignums.c

1 0

cvs commit: hugs98/src builtin.c ffi.c machdep.c plugin.c static.c HsFFI.h
by Sigbjorn Finne 04 Feb '03

04 Feb '03

sof 2003/02/03 21:07:51 PST Modified files: src builtin.c ffi.c machdep.c plugin.c static.c HsFFI.h Log: Up HugsAPI version to 5 -- method table is unchanged from 4, but DLLs are now assumed to also export extern int HugsAPIVersion(); indicating what HugsAPI the primitive stubs in that DLL is assuming. The other change is that with version 5, the new IO monad representation is assumed. Revision Changes Path 1.46 +6 -2 hugs98/src/builtin.c 1.24 +8 -6 hugs98/src/ffi.c 1.76 +39 -7 hugs98/src/machdep.c 1.7 +3 -3 hugs98/src/plugin.c 1.137 +3 -3 hugs98/src/static.c 1.11 +16 -0 hugs98/src/HsFFI.h

1 0