Merge branch 'master' of git.martlubbers.net:clean-tests
authorMart Lubbers <mart@martlubbers.net>
Mon, 10 Sep 2018 13:54:01 +0000 (15:54 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 10 Sep 2018 13:54:01 +0000 (15:54 +0200)
filepicker/test.icl
haye_test/test.icl [new file with mode: 0644]

index e885131..fa05452 100644 (file)
@@ -74,3 +74,9 @@ where
                = (Ok $ sortBy fst [(f, fi)\\f<-files & fi<-fis], iw)
 
        write p w iw = (Ok (const (const False)), iw)
+//import iTasks
+//import iTasks.Extensions.Files
+//
+//Start w = startEngine (
+//     selectFile "/opt/clean/lib" () False []
+//     >&> viewSharedInformation "Selection" []) w
diff --git a/haye_test/test.icl b/haye_test/test.icl
new file mode 100644 (file)
index 0000000..3cc7df7
--- /dev/null
@@ -0,0 +1,20 @@
+module test
+
+class Test sds
+where
+       ttest :: sds -> (String, String)
+
+:: ADT = E. sds: ADT (String sds -> Int) & Test sds
+
+:: TestRecord = { bla2 :: ADT}
+
+instance Test (String, String)
+where
+               ttest ss = ss
+
+f :: (String, TestRecord)
+f = ("jaja", {TestRecord| bla2 =ADT \s sds -> 18})
+
+Start = case f of
+       ("jaja", {bla2}) = case bla2 of
+               (ADT ff) = ff "a" ("as", "bs")