Sil/Check.dcl


1
2
3
4
5
6
7
8

definition module Sil.Check

from StdOverloaded import class toString

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

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