September 2001 - Cvs-hugs

cvs commit: hugs98/src machdep.c
by nordland＠glass.cse.ogi.edu 28 Sep '01

28 Sep '01

nordland 2001/09/28 15:52:49 PDT Modified files: src machdep.c Log: New modification to the file search algorithm. We now assume that everything that's not a valid module name is a file path, irrespective of whether it ends in one of the Haskell file extensions. The spec is as follows: find along nm hugspath | isModuleId nm = [ d++f++e | f <- files, d <- dirs, e <- exts ] | otherwise = [nm] where dirs = along : "" : hugspath files = [mod2dir nm, nm] exts = [".hs",".lhs"] isModuleId s = all isConid (splitAt '.' s) mod2dir s = map (\c -> if c=='.' then slash else c) s Revision Changes Path 1.30 +11 -45 hugs98/src/machdep.c

1 0

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

27 Sep '01

nordland 2001/09/26 17:26:51 PDT Modified files: src connect.h input.c machdep.c prelude.h storage.c Log: Refurbished the hierarchical module name file search algorithm to make it more in line with GHC. The current definition looks as follows: find along nm hugspath | isFilePath nm = [nm] | isModuleId nm = [ d++f++e | f <- files, d <- dirs, e <- exts ] | otherwise = [] where dirs = along : "" : hugspath files = [mod2dir nm, nm] exts = [".hs",".lhs"] isFilePath s = rindex '.' s `elem` exts isModuleId s = all isConid (splitAt '.' s) mod2dir s = map (\c -> if c=='.' then slash else c) s The news is that file names and module names are now disjoint, which makes it easier to determine when we should convert dots to slashes. The price we pay is that file names must now always have an extension that starts with a lowercase letter, currently either ".hs" or ".lhs". I don't know how many programs that depend on the ability to store modules in files without any extension, but any such program will anyhow break with the new scheme. On the other hand, the overall algorithm is much simpler now. Revision Changes Path 1.24 +3 -3 hugs98/src/connect.h 1.29 +5 -7 hugs98/src/input.c 1.29 +64 -81 hugs98/src/machdep.c 1.27 +3 -3 hugs98/src/prelude.h 1.19 +3 -3 hugs98/src/storage.c

3 2

cvs commit: hugs98/src static.c
by Sigbjorn Finne 27 Sep '01

27 Sep '01

sof 2001/09/27 10:45:37 PDT Modified files: src static.c Log: depFields: use isQualIdent() instead of isQVar(); the latter also returns TRUE for unqualified VARID/VAROPs. Revision Changes Path 1.43 +3 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/src/unix convert_hslibs
by nordin＠glass.cse.ogi.edu 26 Sep '01

26 Sep '01

nordin 2001/09/26 15:06:16 PDT Modified files: src/unix convert_hslibs Log: Remove bashisms. Revision Changes Path 1.4 +3 -3 hugs98/src/unix/convert_hslibs

1 0

cvs commit: hugs98/src Makefile.in hugs98/src/msc Makefile hugs98/src/winhugs Makefile
by Sigbjorn Finne 26 Sep '01

26 Sep '01

sof 2001/09/26 11:40:26 PDT Modified files: src Makefile.in src/msc Makefile src/winhugs Makefile Log: Update builtin.{o,obj} dependencies Revision Changes Path 1.9 +1 -1 hugs98/src/Makefile.in 1.5 +1 -1 hugs98/src/msc/Makefile 1.3 +1 -1 hugs98/src/winhugs/Makefile

1 0

cvs commit: hugs98/src dirprim.c
by Sigbjorn Finne 26 Sep '01

26 Sep '01

sof 2001/09/26 11:38:43 PDT Modified files: src dirprim.c Log: primGetPermissions - use access() not stat() to get at the effective permission flags. Revision Changes Path 1.3 +22 -4 hugs98/src/dirprim.c

1 0

cvs commit: hugs98/src machdep.c config.h.in hugs.c hugs98/src/unix configure configure.in hugs98/src/msc config.h hugs98/src/winhugs config.h
by Sigbjorn Finne 26 Sep '01

26 Sep '01

sof 2001/09/26 11:22:18 PDT Modified files: src machdep.c config.h.in hugs.c src/unix configure configure.in src/msc config.h src/winhugs config.h Log: markSnd: have it return its argument; enables tail-call optimisations when compiling markCell(), which reduces C stack usage by the marking code quite considerably. Revision Changes Path 1.28 +43 -6 hugs98/src/machdep.c 1.10 +6 -0 hugs98/src/config.h.in 1.47 +3 -3 hugs98/src/hugs.c 1.14 +220 -110 hugs98/src/unix/configure 1.17 +4 -2 hugs98/src/unix/configure.in 1.8 +6 -0 hugs98/src/msc/config.h 1.4 +6 -0 hugs98/src/winhugs/config.h

1 0

cvs commit: hugs98/src prelude.h
by Jeff Lewis 20 Sep '01

20 Sep '01

lewie 2001/09/20 12:55:43 PDT Modified files: src prelude.h Log: Turn off MULTI_INST - it's got nasty bit rot. Revision Changes Path 1.26 +3 -4 hugs98/src/prelude.h

1 0

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