X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=test.icl;h=6459207b3017032dc00225c4f19b598bdf8b6967;hb=0ca0e0086ac4e1b0be40f820d213fcfcb7deec20;hp=99d51e1095778953763868603a157e2151b0cacc;hpb=a2fc52f1df76c7d115cbd2f781892824b15b0d1e;p=clean-tests.git

diff --git a/test.icl b/test.icl
index 99d51e1..6459207 100644
--- a/test.icl
+++ b/test.icl
@@ -1,9 +1,18 @@
 module test
 
-import iTasks
-import iTasks.Extensions.DateTime
+import StdEnv
+from Data.Func import $
+import System.Directory
+import System.Time
 
-Start w = doTasks (onStartup t) w
+:: S s a = S .(s -> *(a, s))
+runS (S s) = s
 
-t :: Task Int
-t = throw "bork"
+(>>=) infixl 1 :: u:(S .a .b) v:(.b -> .(S .a .c)) -> w:(S .a .c), [w <= u,w <= v]
+(>>=) ma a2mb = S \s
+	# (a, s) = runS ma s
+	= runS (a2mb a) s
+
+Start world = flip runS world
+	$   (S time)
+	>>= \_->S (readDirectory "/home/mrl")