idris

Safe HaskellNone

IRTS.BCImp

Documentation

data Reg Source

Constructors

RVal 
L Int 

data BC Source

Constructors

NOP 

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

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