infer

[fp.git] / infer.dcl

diff --git a/infer.dcl b/infer.dcl
new file mode 100644 (file)
index 0000000..1c1d294
--- /dev/null
+++ b/infer.dcl
@@ -0,0 +1,11 @@
+definition module infer
+
+from Data.Map import :: Map
+
+:: Type
+       = VarType String
+       | IntType
+       | BoolType
+       | CharType
+       | Arrow Type Type
+:: Scheme = Forall [String] Type