Merge branch 'master' of git.martlubbers.net:clean-tests
authorMart Lubbers <mart@martlubbers.net>
Thu, 21 Nov 2019 08:44:59 +0000 (09:44 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 21 Nov 2019 08:44:59 +0000 (09:44 +0100)
stampedShare/test.icl
test.icl

index 04a142c..d9e330e 100644 (file)
@@ -1,5 +1,20 @@
 module test
 
+<<<<<<< HEAD
+import iTasks.Extensions.DateTime
+import System.Time
+import iTasks
+
+sh = sharedStore "bork1" ({DateTime|year=0,mon=0,day=0,hour=0,min=0,sec=0}, 42)
+sh` = sharedStore "bork2" ({Timespec|tv_sec=0,tv_nsec=0}, 42)
+
+Start w = doTasks t w
+
+t     =  viewSharedInformation [] sh
+       -&&- updateSharedInformation [] (dateTimeStampedShare sh)
+       -&&- viewSharedInformation [] sh`
+       -&&- updateSharedInformation [] (timespecStampedShare sh`)
+=======
 import iTasks.Internal.IWorld
 import System.Time
 import iTasks
@@ -17,3 +32,4 @@ t = viewSharedInformation [] sh
 //t = viewSharedInformation [] ticker
 
 ticker = sdsFocus {start={tv_sec=0,tv_nsec=0},interval={Timespec|tv_sec=0,tv_nsec=1000000}} iworldTimespec
+>>>>>>> 49f7dcc4c088dc816398a0c7854d75d7c2628f15
index 609d79e..2076421 100644 (file)
--- a/test.icl
+++ b/test.icl
@@ -1,4 +1,23 @@
 module test
+<<<<<<< HEAD
+
+import StdEnv
+from Data.Func import $
+import System.Directory
+import System.Time
+
+:: S s a = S .(s -> *(a, s))
+runS (S s) = s
+
+(>>=) 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")
+=======
 import qualified Data.Map as DM
 import iTasks
 import Data.Func
@@ -23,3 +42,4 @@ Start w = doTasksWithOptions (\a o->Ok $ flip tuple {o & autoLayout=True} $
 tab title _ = tune (Title title)
        $   viewInformation [] ()
        >>* [OnAction (Action "Close") (always (treturn ()))]
+>>>>>>> 49f7dcc4c088dc816398a0c7854d75d7c2628f15