Sil/Check.dcl


1
2
3
4
5
6
7
8
9
10

definition module Sil.Check

from StdOverloaded import class toString

from Data.Maybe import :: Maybe

from Sil.Error import :: Error
from Sil.Syntax import :: Program

checkProgram :: *(Maybe *File) Program -> *([Error], *Maybe *File)