gast-itasks/test.icl

   1 module test
   2
   3
   4 import StdMisc
   5 import Gast
   6 import Gast.CommandLine
   7 import System._Unsafe
   8 import iTasks => qualified label
   9 import iTasks.Internal.IWorld
  10
  11 instance Testable (Maybe a) | Testable a
  12 where
  13         evaluate Nothing genState result = evaluate False genState result
  14         evaluate (Just a) genState result = evaluate a genState result
  15         testname m = "Maybe"
  16
  17 instance Testable (Task a) | iTask, Testable a
  18 where
  19         evaluate task genState result = evaluate (accUnsafe (runTask task)) genState result
  20         testname task = "Task"
  21
  22 Start = test (\i->treturn (i < 5) == i)