module test


import StdMisc
import Gast
import Gast.CommandLine
import System._Unsafe
import iTasks => qualified label
import iTasks.Internal.IWorld

instance Testable (Maybe a) | Testable a
where
	evaluate Nothing genState result = evaluate False genState result
	evaluate (Just a) genState result = evaluate a genState result
	testname m = "Maybe"

instance Testable (Task a) | iTask, Testable a
where
	evaluate task genState result = evaluate (accUnsafe (runTask task)) genState result
	testname task = "Task"

Start = test (\i->treturn (i < 5) == i)