X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=inf-default%2Ftest.icl;fp=inf-default%2Ftest.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=3cd5465ef4cf8a38dfece9d1342907110bce0e16;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/inf-default/test.icl b/inf-default/test.icl
deleted file mode 100644
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{|*|}