up

diff --git a/infdomain/test.icl b/infdomain/test.icl
new file mode 100644 (file)
index 0000000..efa069c
--- /dev/null
+++ b/infdomain/test.icl
@@ -0,0 +1,16 @@
+module test
+
+import StdEnv
+
+import Data.GenFDomain
+
+:: T = S T | Z
+
+derive bimap []
+derive gFDomain T
+
+Start = hd [() \\ _ <- dom]
+
+dom :: [T]
+dom = gFDomain{|*|}
+

diff --git a/json-bigbytes/test.icl b/json-bigbytes/test.icl
new file mode 100644 (file)
index 0000000..ccc92d7
--- /dev/null
+++ b/json-bigbytes/test.icl
@@ -0,0 +1,5 @@
+module test
+
+import StdArray, iTasks
+
+Start w = startEngine (viewInformation () [] (toString [0..255])) w