-

[clean-tests.git] / inf-default / test.icl

diff --git a/inf-default/test.icl b/inf-default/test.icl
deleted file mode 100644 (file)
index 3cd5465..0000000
--- a/inf-default/test.icl
+++ /dev/null
@@ -1,24 +0,0 @@
-module test
-
-import StdList, StdEnum
-import StdGeneric
-
-generic gFDomain a :: [a]
-gFDomain{|Bool|}         = [False,True]
-gFDomain{|Char|}         = map toChar [0..255]
-gFDomain{|UNIT|}         = [UNIT]
-gFDomain{|PAIR|}   dx dy = [PAIR x y \\ x <- dx, y <- dy]
-gFDomain{|EITHER|} dx dy = map LEFT dx ++ map RIGHT dy
-gFDomain{|CONS|}   dx    = [CONS x\\x<-dx]
-gFDomain{|FIELD|}  dx    = [FIELD x\\x<-dx]
-gFDomain{|OBJECT|} dx    = [OBJECT x\\x<-dx]
-
-derive bimap []
-derive gFDomain T
-
-:: T = S T | Z
-
-Start = hd [() \\ _ <- dom]
-
-dom :: [T]
-dom = gFDomain{|*|}