diff options
Diffstat (limited to 'Sil/Check.dcl')
| -rw-r--r-- | Sil/Check.dcl | 18 |
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) |