blob: 9eff566c47cb43642f4c173d4fb93fa030845828 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
definition module Sil.Check
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
| ReturnExpressionFromVoid Name
| NoReturnFromNonVoid Name
| LocalVoid Name Name
| BasicGlobal Name
instance toString CheckError
checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File)
|
