idris-1.1.1: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.BCImp

Description

 

Documentation

data Reg Source #

Constructors

RVal 
L Int 

data BC Source #

Constructors

NOP 

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

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