idris

Safe HaskellNone

IRTS.Bytecode

Documentation

data Reg Source

Constructors

RVal 
L Int 
T Int 
Tmp 

Instances

toBC :: (Name, SDecl) -> (Name, [BC])Source

bc :: Reg -> SExp -> Bool -> [BC]Source

moveReg :: Int -> [LVar] -> [BC]Source

assign :: Reg -> Reg -> [BC]Source

conCase :: Bool -> Reg -> Reg -> [SAlt] -> Bool -> [BC]Source

constCase :: Reg -> Reg -> [SAlt] -> Bool -> [BC]Source

caseAlt :: Reg -> Reg -> Bool -> SAlt -> Maybe (Int, [BC])Source

constAlt :: t -> Reg -> Bool -> SAlt -> Maybe (Const, [BC])Source