From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 18:19:41 +0000 (+0100)
Subject: stub for typechecking
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=86f02767b3cd9625083c3dd8bd46525f163e9a5b;p=cc1516.git

stub for typechecking
---

diff --git a/type.dcl b/type.dcl
new file mode 100644
index 0000000..304e8a3
--- /dev/null
+++ b/type.dcl
@@ -0,0 +1,6 @@
+definition module type
+
+from Data.Either import :: Either
+from AST import :: AST
+
+typecheck :: AST -> Either String AST
diff --git a/type.icl b/type.icl
new file mode 100644
index 0000000..110c576
--- /dev/null
+++ b/type.icl
@@ -0,0 +1,9 @@
+implementation module type
+
+freeVar :: State 
+
+:: Environment :== Map String Type
+
+
+
+State (String, Environment)