[<<][meta_siso][>>][..]
Sat Jul 25 14:08:12 EDT 2015

Compiling Sys

compSys (acc :: Sys MCode' (Code Tint) (Code Tint))
 
Let (Var (Type AInt 0) "t0") (Lit (Type AInt 0) "0") (
Let (Var (Type AInt 0) "t3") (Op (Type AInt 0) "add" [Ref (Var (Type AInt 0) "t1"),Ref (Var (Type AInt 0) "t2")]) (
Set (Var (Type AInt 0) "t1") (Ref (Var (Type AInt 0) "t3")) (
SM [(Var (Type AInt 0) "t1",Ref (Var (Type AInt 0) "t0"))]
   [Var (Type AInt 0) "t2"]
   (Ref (Var (Type AInt 0) "t3")))))

It's a bit annoying that the SM constructor is the innermost
expression.  This is a consequence of using the SC monad for let
insertion, and mVar constraining the type to (Code Term).




[Reply][About]
[<<][meta_siso][>>][..]