- Cvs-hugs - Haskell.org

cvs-hugs
by sms 11 May '03

11 May '03

你要的网页给你找到了 http://www.creatonly.com/sohusms.htm

1 0

ST monads in Hugs
by Ross Paterson 09 May '03

09 May '03

I propose to change the internal representation of the strict ST monad to newtype ST s a = ST (forall r. (a -> r) -> r) which is a generalization of the new representation of IO monad: newtype IO a = IO ((a -> IOResult) -> IOResult) This will enable simple conversion between the monads: runST :: (forall s. ST s a) -> a runST m = let ST f = m in f id stToIO :: ST RealWorld a -> IO a stToIO (ST f) = IO f and will allow us to reuse several IO primitives as ST primitives, e.g. primitive thenStrictST "primbindIO" :: ST s a -> (a -> ST s b) -> ST s b primitive returnST "primretIO" :: a -> ST s a primitive newSTRef "newRef" :: a -> ST s (STRef s a) primitive primNewArr "IONewArr" :: (a,a) -> Int -> b -> ST s (STArray s a b) dispensing with stmonad.c. For the lazy ST monad, I plan to use newtype ST s a = ST (State s -> (a, State s)) type State s = () lazyToStrictST :: ST s a -> ST.ST s a lazyToStrictST (ST m) = ST.ST (\k -> case m () of (a,()) -> k a) strictToLazyST :: ST.ST s a -> ST s a strictToLazyST (ST.ST m) = ST (\() -> m delay) where delay :: a -> (a, State s) delay a = (a,()) and use the fptools library code, which uses these to lift all the operations from the strict monad. Then Hugs will have the same interface to these monads as GHC, with more flexible control over laziness than before.

1 0

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

07 May '03

ross 2003/05/07 08:10:39 PDT Modified files: src Makefile.in Log: minor fix for make LibStatus Revision Changes Path 1.55 +1 -1 hugs98/src/Makefile.in

1 0

cvs commit: hugs98/src/unix test_libraries
by ross＠glass.cse.ogi.edu 07 May '03

07 May '03

ross 2003/05/07 08:09:56 PDT Modified files: src/unix test_libraries Log: shell portability Revision Changes Path 1.9 +4 -4 hugs98/src/unix/test_libraries

1 0

cvs commit: hugs98/src/unix aclocal.m4 configure configure.in
by ross＠glass.cse.ogi.edu 06 May '03

06 May '03

ross 2003/05/06 05:26:15 PDT Modified files: src/unix aclocal.m4 configure configure.in Log: Use -fPIC option when building shared libraries with gcc. Also changed from shell quoting to m4 quoting to allow multiple flags. Revision Changes Path 1.13 +2 -2 hugs98/src/unix/aclocal.m4 1.59 +35 -35 hugs98/src/unix/configure 1.65 +10 -10 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src builtin.c machdep.c
by ross＠glass.cse.ogi.edu 05 May '03

05 May '03

ross 2003/05/05 12:46:39 PDT Modified files: src builtin.c machdep.c Log: fix up the representation (pair of boxed Ints) and marshalling of Int64 and Word64. Revision Changes Path 1.58 +10 -10 hugs98/src/builtin.c 1.88 +5 -19 hugs98/src/machdep.c

1 0

cvs commit: hugs98/libraries/Hugs Bits.hs Int.hs Word.hs
by ross＠glass.cse.ogi.edu 05 May '03

05 May '03

ross 2003/05/05 12:44:33 PDT Modified files: libraries/Hugs Int.hs Word.hs Added files: libraries/Hugs Bits.hs Log: Add Bits and Ix instances for Int64 and Word64, and add rotate methods to the other Bits instances. Revision Changes Path 1.10 +62 -38 hugs98/libraries/Hugs/Int.hs 1.14 +33 -3 hugs98/libraries/Hugs/Word.hs

1 0

cvs commit: hugs98/src MkInstal.in hugs98/src/unix configure configure.in
by ross＠glass.cse.ogi.edu 01 May '03

01 May '03

ross 2003/05/01 03:31:43 PDT Modified files: src MkInstal.in src/unix configure configure.in Log: Tidy up the Unix install a little: object files go in $(libdir), everything else in $(datadir), with symbolic links to object files. Revision Changes Path 1.34 +25 -5 hugs98/src/MkInstal.in 1.58 +4 -3 hugs98/src/unix/configure 1.64 +4 -3 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src Makefile.in hugs98/docs libraries-notes.txt
by ross＠glass.cse.ogi.edu 01 May '03

01 May '03

ross 2003/05/01 01:53:11 PDT Modified files: src Makefile.in docs libraries-notes.txt Log: replace phony target check_libraries with a real file, LibStatus, which will contain a status report for all library modules. Revision Changes Path 1.54 +3 -2 hugs98/src/Makefile.in 1.10 +1 -1 hugs98/docs/libraries-notes.txt

1 0

cvs commit: hugs98/src/unix config.guess config.sub
by ross＠glass.cse.ogi.edu 30 Apr '03

30 Apr '03

ross 2003/04/30 10:11:49 PDT Modified files: src/unix config.guess config.sub Log: update config.{sub,guess} Revision Changes Path 1.2 +289 -177 hugs98/src/unix/config.guess 1.2 +209 -111 hugs98/src/unix/config.sub

1 0

cvs commit: hugs98/src hugs.c
by Sigbjorn Finne 28 Apr '03

28 Apr '03

sof 2003/04/28 13:58:24 PDT Modified files: src hugs.c Log: shutdowHugs(): stub out hugsEdit Revision Changes Path 1.126 +4 -4 hugs98/src/hugs.c

1 0

cvs commit: hugs98/src static.c
by Sigbjorn Finne 28 Apr '03

28 Apr '03

sof 2003/04/28 10:15:25 PDT Modified files: src static.c Log: attachFixity(): return Name along with original cell; want the latter once the infix expression has been tidied up Revision Changes Path 1.151 +15 -14 hugs98/src/static.c

1 0

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

25 Apr '03

ross 2003/04/25 10:42:11 PDT Modified files: src config.h.in src/unix acconfig.h configure configure.in Log: set HOST_ARCH and HOST_OS Revision Changes Path 1.24 +6 -0 hugs98/src/config.h.in 1.13 +6 -0 hugs98/src/unix/acconfig.h 1.57 +517 -505 hugs98/src/unix/configure 1.63 +6 -0 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src ffi.c
by Alastair Reid 24 Apr '03

24 Apr '03

reid 2003/04/24 07:47:01 PDT Modified files: src ffi.c Log: Fixed types generated by foreignType (s/Word/Int/ for typeInt{,8,16,32,64}. This has been wrong ever since I wrote it. Sadly, it's not likely to be the cause of this morning's bug report since it only affects the sign of a CChar. Revision Changes Path 1.29 +6 -6 hugs98/src/ffi.c

1 0

cvs commit: hugs98/docs packages.txt hugs98/src Makefile.in MkInstal.in hugs98/src/unix hugs-package.in configure configure.in convert_libraries convert_package params.in
by ross＠glass.cse.ogi.edu 23 Apr '03

23 Apr '03

ross 2003/04/23 06:05:59 PDT Modified files: docs packages.txt src Makefile.in MkInstal.in src/unix configure configure.in convert_libraries Added files: src/unix hugs-package.in Removed files: src/unix convert_package params.in Log: Prototype to explore how package installation for Hugs might be done (Unix only, for now). This installs a script hugs-package used as follows: hugs-package package-dir target-dir This converts a GHC-style source package in <package-dir>, placing the result in <target-dir> (or {Hugs}/libraries if <target-dir> is omitted). The script uses some extra stuff installed in {Hugs}/include and {Hugs}/tools. See docs/packages.txt for assumptions about package structure. Where Hugs packages should be stored is another question, and I'm not sure how to handle package dependencies. Revision Changes Path 1.2 +20 -5 hugs98/docs/packages.txt 1.53 +8 -3 hugs98/src/Makefile.in 1.33 +1 -0 hugs98/src/MkInstal.in 1.56 +4 -2 hugs98/src/unix/configure 1.62 +2 -1 hugs98/src/unix/configure.in 1.68 +4 -4 hugs98/src/unix/convert_libraries

1 0

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

22 Apr '03

ross 2003/04/22 10:50:34 PDT Modified files: src config.h.in src/unix configure configure.in Log: add a test for canonicalize_file_name(), which we should be using instead of realpath() if possible. (Not used yet, though) Revision Changes Path 1.23 +3 -0 hugs98/src/config.h.in 1.55 +1 -1 hugs98/src/unix/configure 1.61 +1 -1 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/docs/users_guide introduction.sgml
by ross＠glass.cse.ogi.edu 22 Apr '03

22 Apr '03

ross 2003/04/22 10:47:27 PDT Modified files: docs/users_guide introduction.sgml Log: added a release history, with notes on the development version at the end. Revision Changes Path 1.4 +366 -0 hugs98/docs/users_guide/introduction.sgml

1 0

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

21 Apr '03

ross 2003/04/21 09:32:15 PDT Modified files: libraries/Hugs Prelude.hs Log: change TypeRep to track recent changes to Data.Dynamic Revision Changes Path 1.27 +8 -6 hugs98/libraries/Hugs/Prelude.hs

1 0

cvs commit: hugs98/docs packages.txt
by ross＠glass.cse.ogi.edu 14 Apr '03

14 Apr '03

ross 2003/04/14 08:05:59 PDT Added files: docs packages.txt Log: Document the conversion script's assumptions about package structure.

1 0

cvs commit: hugs98/src/unix convert_libraries convert_package
by ross＠glass.cse.ogi.edu 14 Apr '03

14 Apr '03

ross 2003/04/14 07:01:18 PDT Modified files: src/unix convert_libraries convert_package Log: minor shell portability tweaks Revision Changes Path 1.67 +5 -7 hugs98/src/unix/convert_libraries 1.7 +5 -4 hugs98/src/unix/convert_package

1 0

RE: cvs commit: fptools/libraries/base/Foreign/C Error.hs fptools/libraries/base/System/Posix Internals.hs fptools/libraries/network /Network Socket.hsc
by Simon Marlow 14 Apr '03

14 Apr '03

> I've never been overly keen on GHC's use of pragmas containing extra > command line arguments for GHC because they seem to be about just one > way of compiling the code (that is, they are compiler specific and, > sometimes, backend specific) so they don't seem to really belong in > source code. We primarily use OPTIONS pragmas to specify options that describe the nature of the source code in the module. For example, -fglasgow-exts says that this source file contains code written in Haskell + GHC extensions. The source code is exactly the right place for this option to go. Admittedly, OPTIONS should be called GHC_OPTIONS. Even better, we should use a compiler-independent way to specify the language flavour in the source file, eg. {-# LANGUAGE ffi, ghc #-}, which would also give other compilers a chance to complain if they don't support that particular language variant. OPTIONS is also used to specify #includes for the C back-end. The source code is the right place for these too, but the use of OPTIONS is a little clunky. We *could* add these to the FFI declarations instead, but (a) it's verbose (you have to add the #include to every foreign import that needs it) and (b) GHC doesn't support it very well. > The CBITS pragma doesn't have the more obvious problems of the GHC > mechanism (e.g., the contents of the pragma are unlikely to have to > change from one version of Hugs to another) but it feels similar > enough to make me a little uneasy. > > So I guess I'm asking: > > 1) Are there other design options? > > 2) Can the problem of associating C files with Haskell ffi files > be solved in a way that all compilers (and associated tools, > makefiles, etc.) can support and exploit? > > (e.g., other compilers support the CBITS pragma, or an ffi > extension, or a package configuration file extension, or a text > file which can be read both by GHC makefiles and by your package > conversion script, etc.) I have a feeling that there are enough differences between the way Hugs works and the way GHC works to make trying to unify these things awkward. I suppose you could add something to the package spec which lists C files and the libraries they should be linked into - but unless you can put *all* the information into the package spec (i.e. leaving a completely generic Makefile / conversion script etc.) it doesn't really buy you very much. This brings us back to having a decent library-building infrastructure. My vote would be to do all this in the infrastructure, centralising the knowledge about the differences between compilers. Cheers, Simon

1 0

Re: cvs commit: fptools/libraries/base/Foreign/C Error.hs fptools/libraries/base/System/Posix Internals.hs fptools/libraries/network /Network Socket.hsc
by Alastair Reid 14 Apr '03

14 Apr '03

[copied to cvs-hugs] ross 2003/04/11 16:39:44 PDT > Modified files: > libraries/base/Foreign/C Error.hs libraries/base/System/Posix > Internals.hs libraries/network/Network Socket.hsc > > Log: > Hugs only: add a CBITS "pragma" to tell the Hugs conversion script > which files from <package>/cbits should be linked with the module by > ffihugs, e.g. {-# CBITS HsNet.c initWinSock.c ancilData.c #-} This is great stuff you're doing to make packages available in Hugs. Is this the best way to handle cbits though? I've never been overly keen on GHC's use of pragmas containing extra command line arguments for GHC because they seem to be about just one way of compiling the code (that is, they are compiler specific and, sometimes, backend specific) so they don't seem to really belong in source code. The CBITS pragma doesn't have the more obvious problems of the GHC mechanism (e.g., the contents of the pragma are unlikely to have to change from one version of Hugs to another) but it feels similar enough to make me a little uneasy. So I guess I'm asking: 1) Are there other design options? 2) Can the problem of associating C files with Haskell ffi files be solved in a way that all compilers (and associated tools, makefiles, etc.) can support and exploit? (e.g., other compilers support the CBITS pragma, or an ffi extension, or a package configuration file extension, or a text file which can be read both by GHC makefiles and by your package conversion script, etc.) -- Alastair Reid

2 1

cvs commit: hugs98/tests/libs libs.hs
by ross＠glass.cse.ogi.edu 14 Apr '03

14 Apr '03

ross 2003/04/14 02:15:56 PDT Modified files: tests/libs libs.hs Log: remove defunct HugsStorable Revision Changes Path 1.5 +0 -1 hugs98/tests/libs/libs.hs

1 0

cvs commit: hugs98/src config.h.in hugs98/src/unix params.in configure configure.in convert_libraries convert_package test_libraries hugs98/tools Package.hs ParsePkgConf.hs get_ld_options get_libraries
by ross＠glass.cse.ogi.edu 14 Apr '03

14 Apr '03

ross 2003/04/14 02:14:15 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: src config.h.in src/unix configure configure.in convert_libraries convert_package test_libraries Added files: src/unix params.in tools Package.hs ParsePkgConf.hs get_ld_options get_libraries Log: The package conversion script now reads C library information from the package configuration file. (Not quite right yet, as it doesn't follow package dependencies.) Revision Changes Path 1.22 +3 -0 hugs98/src/config.h.in 1.54 +1307 -467 hugs98/src/unix/configure 1.60 +2 -1 hugs98/src/unix/configure.in 1.66 +6 -3 hugs98/src/unix/convert_libraries 1.6 +35 -15 hugs98/src/unix/convert_package 1.8 +4 -3 hugs98/src/unix/test_libraries

1 0

cvs commit: hugs98/src/unix MachDeps.h
by ross＠glass.cse.ogi.edu 14 Apr '03

14 Apr '03

ross 2003/04/14 02:11:36 PDT Modified files: src/unix MachDeps.h Log: simplify #include's Revision Changes Path 1.3 +1 -2 hugs98/src/unix/MachDeps.h

1 0