idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.BCImp

Description

 

Documentation

data Reg #

Constructors

RVal 
L Int 

data BC #

Constructors

NOP 

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

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