git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/src/IRTS/BCImp.hs
19 lines 402 B history raw
1module IRTS.BCImp where
3-- Bytecode for a register/variable based VM (e.g. for generating code in an
4-- imperative language where we let the language deal with GC)
6import IRTS.Lang
7import IRTS.Simplified
8import Idris.Core.TT
10data Reg = RVal | L Int
12data BC = NOP
14toBC :: (Name, SDecl) -> (Name, [BC])
15toBC (n, SFun n' args locs exp)
16 = (n, bc RVal exp)
18bc :: Reg -> SExp -> [BC]
19bc = undefined