diff options
| author | Camil Staps | 2017-07-19 21:59:47 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-19 21:59:47 +0000 |
| commit | f76f972a9d4b0db0b021225e70638f5cb7af0a8e (patch) | |
| tree | 101a54ad70931ed824c88e2e64d81e7bd3dbae22 /Sil/Check.dcl | |
| parent | Fix testing code (diff) | |
Add checks: no main, duplicate function, duplicate local
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 |