From f76f972a9d4b0db0b021225e70638f5cb7af0a8e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 19 Jul 2017 21:59:47 +0000
Subject: Add checks: no main, duplicate function, duplicate local

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

(limited to 'Sil/Check.dcl')

diff --git a/Sil/Check.dcl b/Sil/Check.dcl
index b222079..1d5929d 100644
--- a/Sil/Check.dcl
+++ b/Sil/Check.dcl
@@ -7,7 +7,10 @@ from Data.Maybe import :: Maybe
 from Sil.Syntax import :: Program, :: Name
 
 :: CheckError
-	= ReturnExpressionFromVoidError Name
+	= NoMainFunction
+	| DuplicateFunctionName Name
+	| DuplicateLocalName Name Name
+	| ReturnExpressionFromVoidError Name
 	| NoReturnFromNonVoidError Name
 
 instance toString CheckError
-- 
cgit v1.2.3