blob: 5eb35a202dc4f7f982799045c6c15fa651ab84db (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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, :: Expression
from Sil.Types import :: Type, :: TypeError
:: CompileError
= UndefinedName Name
| VariableLabel
| FunctionOnStack
| TypeError TypeError Expression
| CouldNotDeduceType Expression
| TypeMisMatch Type Expression
| BasicInitWithoutValue Name
| UnknownError
instance toString CompileError
compile :: Program -> MaybeError CompileError Assembler
|
