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