- Cvs-hugs - Haskell.org

cvs-hugs
by sms 12 May '03

12 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 06 May '03

06 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 06 May '03

06 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