diff options
Diffstat (limited to 'Sil/Check.dcl')
| -rw-r--r-- | Sil/Check.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
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 |