test.icl

   1 module test
   2
   3 import StdEnv
   4 from Data.Func import $
   5 import System.Directory
   6 import System.Time
   7
   8 :: S s a = S .(s -> *(a, s))
   9 runS (S s) = s
  10
  11 (>>=) infixl 1 :: u:(S .a .b) v:(.b -> .(S .a .c)) -> w:(S .a .c), [w <= u,w <= v]
  12 (>>=) ma a2mb = S \s
  13         # (a, s) = runS ma s
  14         = runS (a2mb a) s
  15
  16 Start world = flip runS world
  17         $   (S time)
  18         >>= \_->S (readDirectory "/home/mrl")