Start with positional errors (see #5)

1 files changed, 3 insertions, 15 deletions

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)