blob: e71448fcb696465cb4a49b858f8273c0ba78546e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
definition module Sil.Check
from StdOverloaded import class toString
from Data.Maybe import :: Maybe
from Sil.Syntax import :: Program, :: Name
:: CheckError
= NoMainFunction
| DuplicateFunctionName Name
| DuplicateLocalName Name Name
| ReturnExpressionFromVoidError Name
| NoReturnFromNonVoidError Name
| LocalVoid Name Name
instance toString CheckError
checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File)
|
