May 2003 - Cvs-hugs - Haskell.org

cvs commit: hugs98/src Makefile.in MkDepend.in array.c builtin.c iomonad.c observe.c prelude.h printer.c stmonad.c hugs98/src/unix convert_libraries hugs98/src/bcc32 Makefile hugs98/src/djgpp2 Makefile hugs98/src/dotnet Makefile hugs98/src/msc Makefile ...
by ross＠glass.cse.ogi.edu 12 May '03

12 May '03

ross 2003/05/12 01:48:16 PDT Modified files: src Makefile.in MkDepend.in array.c builtin.c iomonad.c observe.c prelude.h printer.c src/unix convert_libraries src/bcc32 Makefile src/djgpp2 Makefile src/dotnet Makefile src/msc Makefile src/winhugs Makefile libraries/Hugs IOExts.hs LazyST.hs Memo.hs ST.hs Removed files: src stmonad.c Log: Change the 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 simplifies conversion between these monads, and enables them to share monad and state primitives, so that stmonad.c is no longer required (except for a couple of primitives to support Hugs.Memo, which have moved to iomonad.c). The lazy ST monad has the same representation as before, but is now defined in Hugs.LazyST, with conversions to and from the strict ST monad. We now use the fptools/libraries definitions of the operations on this monad, using the corresponding operations on the strict monad and these conversions. The resulting interface matches that of GHC. Revision Changes Path 1.56 +1 -1 hugs98/src/Makefile.in 1.4 +38 -39 hugs98/src/MkDepend.in 1.8 +2 -58 hugs98/src/array.c 1.59 +2 -13 hugs98/src/builtin.c 1.49 +60 -2 hugs98/src/iomonad.c 1.2 +2 -2 hugs98/src/observe.c 1.45 +2 -4 hugs98/src/prelude.h 1.10 +3 -3 hugs98/src/printer.c 1.69 +2 -2 hugs98/src/unix/convert_libraries 1.11 +2 -2 hugs98/src/bcc32/Makefile 1.10 +2 -2 hugs98/src/djgpp2/Makefile 1.10 +39 -40 hugs98/src/dotnet/Makefile 1.35 +39 -40 hugs98/src/msc/Makefile 1.24 +39 -40 hugs98/src/winhugs/Makefile 1.14 +0 -4 hugs98/libraries/Hugs/IOExts.hs 1.8 +25 -98 hugs98/libraries/Hugs/LazyST.hs 1.3 +4 -11 hugs98/libraries/Hugs/Memo.hs 1.10 +43 -40 hugs98/libraries/Hugs/ST.hs

1 0

cvs commit: hugs98/src static.c
by ross＠glass.cse.ogi.edu 12 May '03

12 May '03

ross 2003/05/12 01:14:48 PDT Modified files: src static.c Log: prototype tweak Revision Changes Path 1.152 +4 -4 hugs98/src/static.c

1 0

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

12 May '03

ross 2003/05/12 01:11:21 PDT Modified files: src/unix configure configure.in src MkInstal.in Log: revert to installing in ${libdir}, as some .h and .hs files are architecture-dependent. Revision Changes Path 1.60 +1 -1 hugs98/src/unix/configure 1.66 +1 -1 hugs98/src/unix/configure.in 1.35 +9 -20 hugs98/src/MkInstal.in

1 0

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