February 2003 - Cvs-hugs

cvs commit: hugs98/tests/static mod163.hs Mod163_A.hs
by Sigbjorn Finne 14 Feb '03

14 Feb '03

sof 2003/02/13 18:03:28 PST Added files: tests/static mod163.hs Mod163_A.hs Log: lazy name conflict reporting for labels/selectors

1 0

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

14 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 14 Feb '03

14 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 14 Feb '03

14 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 13 Feb '03

13 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