stub for typechecking

diff --git a/type.dcl b/type.dcl
new file mode 100644 (file)
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 (file)
index 0000000..110c576
--- /dev/null
+++ b/type.icl
@@ -0,0 +1,9 @@
+implementation module type
+
+freeVar :: State 
+
+:: Environment :== Map String Type
+
+
+
+State (String, Environment)