From bc950badd0655328af7a9886988722809e367d07 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 20 Jul 2017 20:25:25 +0000
Subject: Type checking

---
 Sil/Compile.dcl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Sil/Compile.dcl')

diff --git a/Sil/Compile.dcl b/Sil/Compile.dcl
index 6407b67..4857ba9 100644
--- a/Sil/Compile.dcl
+++ b/Sil/Compile.dcl
@@ -7,12 +7,16 @@ from Data.Error import :: MaybeError
 
 from ABC.Assembler import :: Assembler, :: Statement, instance <<< Assembler
 
-from Sil.Syntax import :: Program, :: Name
+from Sil.Syntax import :: Program, :: Name, :: Expression
+from Sil.Types import :: Type, :: TypeError
 
 :: CompileError
 	= UndefinedName Name
 	| VariableLabel
 	| FunctionOnStack
+	| TypeError TypeError Expression
+	| CouldNotDeduceType Expression
+	| TypeMisMatch Type Expression
 	| UnknownError
 
 instance toString CompileError
-- 
cgit v1.2.3