- Cvs-hugs - Haskell.org

cvs commit: hugs98/src parser.y
by nordland＠glass.cse.ogi.edu 19 Sep '01

19 Sep '01

nordland 2001/09/19 14:36:04 PDT Modified files: src parser.y Log: Fixed the incorrect acceptance of rank-2 types like (Ord a => Tree a) -> IO () The parser now insists that such types be explicitly quantified, as in (forall a . Ord a => Tree a) -> IO () This also holds for the (somewhat counterintuitive) syntax for constructors with local existential quantification, i.e., Ord a => Con (Tree a) is banned in favor of forall a . Ord a => Con (Tree a) *Note*, however, that this fix doesn't solve the "rank-2 implicit parameters" problem reported by John Hughes earlier today: foo :: ((?x :: Int) => b) -> Int -> b foo s z = s with ?x = z Was that feature anticipated? In any case, there are two problems that must be solved here: (1) Loosen up the syntax somehow so that local monomorphic contexts are allowed -- perhaps by allowing (forall . (?x :: Int) => b) -> Int -> b (2) Fixing the erroneous unification that John describes. [Who will take the lead and define what all the common Haskell extensions really mean when used in conjunction?] Revision Changes Path 1.23 +3 -4 hugs98/src/parser.y

1 0

cvs commit: hugs98/src connect.h input.c machdep.c
by nordland＠glass.cse.ogi.edu 19 Sep '01

19 Sep '01

nordland 2001/09/19 12:14:07 PDT Modified files: src connect.h input.c machdep.c Log: Reimplemented the file search algorithm according to the following principle. I assume that the file found will be the first readable filename in the list produced by "find". find along nm hugspath = [ d++f++e | f <- files, d <- dirs, e <- exts ] where (pref,name) = rspan (/=slash) nm dirs = if null pref then along : hugspath ++ [""] else [pref] files = if isQModId name then [mod2dir name, name] else [name] exts = ["",".hs",".lhs"] rspan p s = let (a,b) = span p (reverse s) in (reverse b, reverse a) mod2dir s = map (\c -> if c=='.' then slash else c) s isQModId s = -- is s a valid qualified module identifier? The SEARCH_DIR option is still compatible with this principle, although it is turned off by default. Revision Changes Path 1.23 +3 -2 hugs98/src/connect.h 1.28 +18 -2 hugs98/src/input.c 1.27 +90 -48 hugs98/src/machdep.c

1 0

cvs commit: hugs98/src hugs.c
by Sigbjorn Finne 19 Sep '01

19 Sep '01

sof 2001/09/19 10:21:07 PDT Modified files: src hugs.c Log: errHead: put the filename portion inside of double quotes. Doing so makes it easier for editor mode writers to unravel source location info in an error message. Revision Changes Path 1.46 +9 -4 hugs98/src/hugs.c

1 0

cvs commit: hugs98/src/unix convert_hslibs
by Jeff Lewis 18 Sep '01

18 Sep '01

lewie 2001/09/18 16:42:35 PDT Modified files: src/unix convert_hslibs Log: The argument is now the directory that `hslibs' lives in (not the directory that `fptools/hslibs' lives in). Revision Changes Path 1.3 +3 -3 hugs98/src/unix/convert_hslibs

1 0

cvs commit: hugs98/src/bcc32 Makefile hugs98/src/winhugs Makefile
by Sigbjorn Finne 18 Sep '01

18 Sep '01

sof 2001/09/18 12:58:11 PDT Modified files: src/bcc32 Makefile src/winhugs Makefile Log: Use bison, not byacc Revision Changes Path 1.4 +1 -1 hugs98/src/bcc32/Makefile 1.2 +1 -1 hugs98/src/winhugs/Makefile

1 0

cvs commit: hugs98/src/winhugs Wintext.c
by Sigbjorn Finne 18 Sep '01

18 Sep '01

sof 2001/09/18 12:55:36 PDT Modified files: src/winhugs Wintext.c Log: -DoChar: preserve tab character, don't expand it to 8 spaces. -WinPutChar: - fixed tab handling, cursor was being reset post-\t expansion. - interpret \t as 'move to next tab stop', not tab as a shorthand for 8 spaces. Revision Changes Path 1.3 +9 -5 hugs98/src/winhugs/Wintext.c

1 0

cvs commit: hugs98/src/winhugs Winbrows.c Winframe.c Winhint.c Winhint.h Winhugs.h Winmenu.h Winstln.c Wintext.c Wintext.h Wintoolb.c Winutils.c Winutils.h menusbm.c resource.h winhugs.c
by Sigbjorn Finne 18 Sep '01

18 Sep '01

sof 2001/09/18 12:51:32 PDT Modified files: src/winhugs Winbrows.c Winframe.c Winhint.c Winhint.h Winhugs.h Winmenu.h Winstln.c Wintext.c Wintext.h Wintoolb.c Winutils.c Winutils.h menusbm.c resource.h winhugs.c Log: nuke carriage returns Revision Changes Path 1.2 +1632 -1632hugs98/src/winhugs/Winbrows.c 1.2 +471 -471 hugs98/src/winhugs/Winframe.c 1.2 +253 -253 hugs98/src/winhugs/Winhint.c 1.2 +29 -29 hugs98/src/winhugs/Winhint.h 1.2 +77 -77 hugs98/src/winhugs/Winhugs.h 1.2 +138 -138 hugs98/src/winhugs/Winmenu.h 1.2 +240 -240 hugs98/src/winhugs/Winstln.c 1.2 +2930 -2930hugs98/src/winhugs/Wintext.c 1.2 +100 -100 hugs98/src/winhugs/Wintext.h 1.2 +600 -600 hugs98/src/winhugs/Wintoolb.c 1.2 +528 -528 hugs98/src/winhugs/Winutils.c 1.2 +25 -25 hugs98/src/winhugs/Winutils.h 1.2 +105 -105 hugs98/src/winhugs/menusbm.c 1.2 +16 -16 hugs98/src/winhugs/resource.h 1.4 +1752 -1752hugs98/src/winhugs/winhugs.c

1 0

cvs commit: hugs98/src/winhugs Winframe.h Winstln.h Wintoolb.h WINFRAME.H WINSTLN.H WINTOOLB.H
by Sigbjorn Finne 18 Sep '01

18 Sep '01

sof 2001/09/18 12:49:23 PDT Added files: src/winhugs Winframe.h Winstln.h Wintoolb.h Removed files: src/winhugs WINFRAME.H WINSTLN.H WINTOOLB.H Log: no need to shout

1 0

cvs commit: hugs98/src/unix configure configure.in
by Sigbjorn Finne 17 Sep '01

17 Sep '01

sof 2001/09/17 15:24:12 PDT Modified files: src/unix configure configure.in Log: If the _basename_ of YACC is 'byacc', give up and insist on 'bison' Revision Changes Path 1.13 +1 -1 hugs98/src/unix/configure 1.16 +3 -3 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src parser.y static.c
by Jeff Lewis 13 Sep '01

13 Sep '01

lewie 2001/09/13 13:14:13 PDT Modified files: src parser.y static.c Log: Extend where rank-2 types can appear (e.g. in the RHS of a `type' decl). Revision Changes Path 1.22 +5 -4 hugs98/src/parser.y 1.42 +3 -3 hugs98/src/static.c

1 0