From 86f02767b3cd9625083c3dd8bd46525f163e9a5b Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 19:19:41 +0100 Subject: [PATCH] stub for typechecking --- type.dcl | 6 ++++++ type.icl | 9 +++++++++ 2 files changed, 15 insertions(+) create mode 100644 type.dcl create mode 100644 type.icl 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) -- 2.20.1