blob: a34eb9902f70631eb5ac560133d59c97afaf0e64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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
instance toString CheckError
checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File)
|
