aboutsummaryrefslogtreecommitdiff
path: root/Sil/Compile.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sil/Compile.dcl')
-rw-r--r--Sil/Compile.dcl6
1 files changed, 5 insertions, 1 deletions
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