epic
Epic.Bytecode
type Local = Int
type TmpVar = Int
type StrVar = Int
data ByteOp
Constructors
LET TmpVar Local TmpVar
Instances
type Bytecode = [ByteOp]
data FunCode
data CompileState
Fields
compile :: Context -> Name -> Func -> FunCode
data TailCall
scompile :: Context -> Name -> Func -> State CompileState Bytecode
peephole :: Bytecode -> Bytecode
peephole' :: [Local] -> [ByteOp] -> [ByteOp]
evalled :: [Local] -> TmpVar -> ByteOp -> Bool