X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expr%2Fexist%2FexistFor.dcl;fp=expr%2Fexist%2FexistFor.dcl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=3369adaa43a6cc6c2e50c5c412ad30168520d2f9;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/expr/exist/existFor.dcl b/expr/exist/existFor.dcl
deleted file mode 100644
index 3369ada..0000000
--- a/expr/exist/existFor.dcl
+++ /dev/null
@@ -1,10 +0,0 @@
-definition module whileFor
-
-import while
-
-:: WFor = WFor String Is WhileInt To WhileInt Do WhileExpr
-
-(*.) infixl 7
-(*.) a b :== WInt (WMult a b)
-
-instance evali WMult