//Start = fst $ toReadableByteCode $ unMain bc
where
bc` = toRealByteCode (unMain bc)
- bc :: Main (ByteCode Int Stmt)
- bc = sds \x=41 In
- {main = x =. x +. lit 1 :. pub x}
+// bc :: Main (ByteCode Int Stmt)
+ bc = sds \x=5 In
+ sds \y=4 In
+ {main = If (y ==. lit 0) (pub x) (x =. x *. y :. y =. y -. lit 1)}
pub :: (ByteCode a b) -> ByteCode a b
pub x = fmp makePub x