idris-0.9.17.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

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