diff options
| author | Camil Staps | 2017-07-20 20:40:38 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-20 20:40:38 +0000 |
| commit | 62c9c126ed3eedf981cc087938fd98f7afb17506 (patch) | |
| tree | bdab83683ff75ab915d3d8af612235c55812d772 /Sil/Check.dcl | |
| parent | Cleanup (diff) | |
Check the type of the main function (should be Void)
Diffstat (limited to 'Sil/Check.dcl')
| -rw-r--r-- | Sil/Check.dcl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Sil/Check.dcl b/Sil/Check.dcl index e71448f..a34eb99 100644 --- a/Sil/Check.dcl +++ b/Sil/Check.dcl @@ -5,13 +5,15 @@ from StdOverloaded import class toString from Data.Maybe import :: Maybe from Sil.Syntax import :: Program, :: Name +from Sil.Types import :: Type :: CheckError = NoMainFunction + | MainFunctionInvalidType Type | DuplicateFunctionName Name | DuplicateLocalName Name Name - | ReturnExpressionFromVoidError Name - | NoReturnFromNonVoidError Name + | ReturnExpressionFromVoid Name + | NoReturnFromNonVoid Name | LocalVoid Name Name instance toString CheckError |