X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=array_itasks%2Ftest.icl;fp=array_itasks%2Ftest.icl;h=f44b0d8fc1bcf900a114a1567ec59dc225741dd6;hb=acf65f233c22c3eb03ff43805d8065f5ad5a5b53;hp=0000000000000000000000000000000000000000;hpb=1ed4222009881d320de99275c369c4f55ef56237;p=clean-tests.git diff --git a/array_itasks/test.icl b/array_itasks/test.icl new file mode 100644 index 0000000..f44b0d8 --- /dev/null +++ b/array_itasks/test.icl @@ -0,0 +1,16 @@ +module test + +import StdEnv => qualified return +import iTasks + +gEditor{|{#Int}|} = emptyEditor +gText{|{#Int}|} = [] +JSONEncode{|{#Int}|} x = [JSONArray [JSONInt e \\ e <-: x] +JSONDecode{|{#Int}|} _ (JSONArray a) = {#i\\JSONInt<-a} +gDefault{|{#Int}|} = {} +gEq{|{#Int}|} l r = size l == size r && and [l == r\\l<-l & r<-r] + +Start w = startEngine t w + +t :: Task {#Int} +t = treturn {0,0,0}