X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=eadt%2FSub.dcl;fp=eadt%2FSub.dcl;h=a35387da617de416f4ed5e527e30da52e264ee97;hb=53817603554125625f3c7d6b4b9ea0dc4a4bdf78;hp=0000000000000000000000000000000000000000;hpb=42099428d4defde7cb94bb15cd89b35d5761f63d;p=clean-tests.git

diff --git a/eadt/Sub.dcl b/eadt/Sub.dcl
new file mode 100644
index 0000000..a35387d
--- /dev/null
+++ b/eadt/Sub.dcl
@@ -0,0 +1,8 @@
+definition module Sub
+
+from main import :: Expr
+
+:: Expr | (-.) infixl 6 Expr Expr
+
+evalSub :: Expr -> Int
+pprintSub :: Expr -> String