X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=test.icl;h=2076421b57b65c92f0b2149d5e626c1d337390d0;hb=dfcca36a36a964320436b622d18bce909ed5a9fc;hp=609d79ef5c8c2e360b30f2b5d05b968e821959ff;hpb=49f7dcc4c088dc816398a0c7854d75d7c2628f15;p=clean-tests.git diff --git a/test.icl b/test.icl index 609d79e..2076421 100644 --- 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