[ #20 ] More basic works

owo-lang · Dec 20, 2018 · f49fb3b · f49fb3b
1 parent bb3cd73
commit f49fb3b
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/src/full/OwO/TypeChecking.hs b/src/full/OwO/TypeChecking.hs
@@ -17,7 +17,13 @@ import           OwO.TypeChecking.Reduce
 typeCheck :: TCEnv -> PsiTerm -> Either TCErr Term
 typeCheck env (PsiConstant _ info) = Right $ Constant info
 typeCheck env (PsiLambda binder term) = return __TODO__
-typeCheck env (PsiReference name) = return __TODO__
+typeCheck env (PsiReference name) =
+  case lookupCtxWithName
+    (envModuleName env)
+    (textOfName name)
+    (envDefinitions env) of
+      Nothing  -> Left  $ UnresolvedReferenceErr name
+      Just def -> Right $ Ref FunctionName name def
 typeCheck env term = return __TODO__
 
 typeCheckFile :: TCState -> PsiFile -> TCM ()

diff --git a/src/full/OwO/TypeChecking/Core.hs b/src/full/OwO/TypeChecking/Core.hs
@@ -76,7 +76,7 @@ data Term' i
   -- ^ Application
   | Var !Int
   -- ^ A variable resolved with de bruijn index
-  | Param NameType i (Term' i)
+  | Ref NameType i Definition
   -- ^ Named reference, might be external definitions
   | Bind i !(BinderInfo (Term' i)) (Term' i)
   -- ^ Name binding

diff --git a/src/full/OwO/TypeChecking/Monad.hs b/src/full/OwO/TypeChecking/Monad.hs
@@ -83,6 +83,8 @@ data TCEnv = TypeCheckingEnv
   -- ^ This is passed all around
   , envDefinitions :: TCCtx Definition
   -- ^ Local definitions
+  , envModuleName  :: QModuleName
+  -- ^ Current module name
   } deriving (Generic, Show)
 
 data TCErr' t