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

diff --git a/expr/exist/existFor.dcl b/expr/exist/existFor.dcl
new file mode 100644
index 0000000..3369ada
--- /dev/null
+++ b/expr/exist/existFor.dcl
@@ -0,0 +1,10 @@
+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