From e83d85eb08a370f3943294f21a4c27cd3b12ad09 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Wed, 24 Apr 2019 21:57:27 +0200
Subject: Start working on a type checker

---
 src/Haskell/TypeCheck.hs | 55 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 src/Haskell/TypeCheck.hs

(limited to 'src/Haskell/TypeCheck.hs')

diff --git a/src/Haskell/TypeCheck.hs b/src/Haskell/TypeCheck.hs
new file mode 100644
index 0000000..52e26b7
--- /dev/null
+++ b/src/Haskell/TypeCheck.hs
@@ -0,0 +1,55 @@
+module Haskell.TypeCheck (typeCheck) where
+
+import qualified Data.Map.Strict as Map
+import Haskell.AST
+
+
+typeCheck :: (Eq a, TypeCheck a) => a -> Either String a
+typeCheck initVal = go initVal Map.empty
+  where
+    go value mapping = do
+        value2 <- annotate mapping value
+        if value2 == value then return value else go value2 mapping
+
+class TypeCheck a where
+    annotate :: Map.Map String Type -> a -> Either String a
+
+instance TypeCheck AST where
+    annotate mapping (AST tops) = AST <$> mapM (annotate mapping) tops
+
+instance TypeCheck Toplevel where
+    annotate mapping (TopDef x)   = TopDef <$> annotate mapping x
+    annotate _       (TopDecl x)  = return $ TopDecl x
+    annotate _       (TopData x)  = return $ TopData x
+    annotate _       (TopClass x) = return $ TopClass x
+    annotate mapping (TopInst x)  = TopInst <$> annotate mapping x
+
+instance TypeCheck Def where
+    annotate mapping (Def name expr) = Def name <$> annotate mapping expr
+
+instance TypeCheck Inst where
+    annotate mapping (Inst name ty defs) = Inst name ty <$> mapM (annotate mapping) defs
+
+-- TODO: Just passing mappings around is not sufficient; the typechecking
+-- needs to be done on the whole environment at once, and dynamically
+-- updating the mapping as it goes. In fact, I'd probably do better just
+-- looking up how the simplest possible implementation of Hindley-Miller
+-- goes, stripping away most classes, and then implementing that.
+instance TypeCheck Expr where
+    annotate mapping (App func' [] _) = annotate mapping func'
+    annotate mapping (App func' [arg'] _) = do
+        func <- annotate mapping func'
+        arg <- annotate mapping arg'
+        case typeApply (typeOf func) (typeOf arg) of
+            Just ty -> return $ App func [arg] (Just ty)
+            Nothing -> Left $ "Cannot apply argument of type " ++ show (typeOf arg) ++
+                              " to function of type " ++ show (typeOf func)
+    annotate mapping (App func' (arg':args') _) = 
+        combineApps <$> annotate mapping (App (App func' [arg'] Nothing) args' Nothing)
+
+    -- annotate mapping (Ref )
+
+
+combineApps :: Expr -> Expr
+combineApps (App (App f as1 _) as2 ty) = combineApps (App f (as1 ++ as2) ty)
+combineApps e = recurse id combineApps e
-- 
cgit v1.2.3-70-g09d2