merge laptop
authorMart Lubbers <mart@martlubbers.net>
Mon, 28 May 2018 04:55:32 +0000 (06:55 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 28 May 2018 04:55:32 +0000 (06:55 +0200)
.gitignore
base64/test.icl [new file with mode: 0644]
bugs/test.icl [new file with mode: 0644]
dep/a.out [new file with mode: 0755]
dep/test.icl [new file with mode: 0644]
gen/test.icl [new file with mode: 0644]
te/test.icl [new file with mode: 0644]

index 0b2e8a0..407ad86 100644 (file)
@@ -3,6 +3,8 @@
 *-data
 *.prj
 Clean System Files
+a.out
+getopt
 *.[^l]
 *.o
 test
diff --git a/base64/test.icl b/base64/test.icl
new file mode 100644 (file)
index 0000000..cf067d3
--- /dev/null
@@ -0,0 +1,14 @@
+module test
+
+import StdString
+import Text.Encodings.Base64
+import Gast
+import Gast.CommandLine
+
+pBase :: String -> Bool
+pBase s = s == base64Decode (base64Encode s)
+
+pURL :: String -> Bool
+pURL s = s == base64URLDecode (base64URLEncode s)
+
+Start w = exposeProperties [] [] [pBase, pURL] w
diff --git a/bugs/test.icl b/bugs/test.icl
new file mode 100644 (file)
index 0000000..344dd8c
--- /dev/null
@@ -0,0 +1,3 @@
+module test
+
+onError= case e of
diff --git a/dep/a.out b/dep/a.out
new file mode 100755 (executable)
index 0000000..4fba07f
Binary files /dev/null and b/dep/a.out differ
diff --git a/dep/test.icl b/dep/test.icl
new file mode 100644 (file)
index 0000000..152a50c
--- /dev/null
@@ -0,0 +1,15 @@
+module test
+
+import StdEnv
+
+class plusa a b c :: a b -> c
+instance plusa Int Int Int where (plusa) x y = x + y
+
+//Overloading error: internal overloading of "plusa" could not be solved
+//Start :: Int
+//Start = plusa 4 (plusa 4 4)
+
+class plusb a b ~c :: a b -> c
+instance plusb Int Int Int where (plusb) x y = x + y
+
+Start = plusb 4 (plusb 4 4)
diff --git a/gen/test.icl b/gen/test.icl
new file mode 100644 (file)
index 0000000..98f7d23
--- /dev/null
@@ -0,0 +1,16 @@
+module test
+
+import StdEnv
+import StdGeneric
+
+generic gen a :: a
+
+gen{|Int|} = 0
+gen{|OBJECT|} fa = OBJECT fa
+
+:: BI =: BI Int
+derive gen BI
+
+//Start w = startEngine (viewInformation "" [ViewAs (\t->TtTag [] [Text t])] "bork") w
+Start :: BI
+Start = gen{|*|}
diff --git a/te/test.icl b/te/test.icl
new file mode 100644 (file)
index 0000000..a2d0c5b
--- /dev/null
@@ -0,0 +1,7 @@
+module test
+
+import iTasks
+import Text.HTML
+
+//Start w = startEngine (viewInformation "" [ViewAs (\t->TtTag [] [Text t])] "bork") w
+Start w = startEngine (viewInformation "" [] (TtTag [] [Text "bork"])) w