From 05a47988d9466b827f7dbab44bab33a67228efe9 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 30 Jul 2017 00:51:48 +0200
Subject: Start with positional errors (see #5)

---
 Sil/Check.dcl | 18 +++---------------
 1 file changed, 3 insertions(+), 15 deletions(-)

(limited to 'Sil/Check.dcl')

diff --git a/Sil/Check.dcl b/Sil/Check.dcl
index 9eff566..c2ba86f 100644
--- a/Sil/Check.dcl
+++ b/Sil/Check.dcl
@@ -4,19 +4,7 @@ from StdOverloaded import class toString
 
 from Data.Maybe import :: Maybe
 
-from Sil.Syntax import :: Program, :: Name
-from Sil.Types import :: Type
+from Sil.Error import :: Error
+from Sil.Syntax import :: Program
 
-:: CheckError
-	= NoMainFunction
-	| MainFunctionInvalidType Type
-	| DuplicateFunctionName Name
-	| DuplicateLocalName Name Name
-	| ReturnExpressionFromVoid Name
-	| NoReturnFromNonVoid Name
-	| LocalVoid Name Name
-	| BasicGlobal Name
-
-instance toString CheckError
-
-checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File)
+checkProgram :: *(Maybe *File) Program -> *([Error], *Maybe *File)
-- 
cgit v1.2.3