old/ext/test.icl

   1 implementation module test
   2
   3 import StdEnv
   4 import iTasks
   5
   6 :: Test = E.s: T (R s) & iTask s
   7 :: R s =
   8         { state :: s
   9         , transform :: s -> s
  10         }
  11
  12 transf :: Test -> Test
  13 transf (T rec=:{state, transform})
  14 # state = transform state
  15 = T {R | rec & state = state}
  16
  17 test :: Test
  18 test = T {R | state = True, transform = not}
  19
  20 Start :: Bool
  21 Start
  22 = let (T {R|state}) = transf test in gEq{|*|} state state