definition module Sil.Compile

from StdFile import class <<<
from StdOverloaded import class toString

from Data.Error import :: MaybeError

from ABC.Assembler import :: Assembler, :: Statement, instance <<< Assembler

from Sil.Syntax import :: Program, :: Name

:: CompileError
	= UndefinedName Name
	| VariableLabel
	| FunctionOnStack
	| UnknownError

instance toString CompileError

compile :: Program -> MaybeError CompileError Assembler