Start =
[["//mTaskTFP16_3 \n"]
- ,["// --- p1 \n"]
+ ,["// --- p0 \n"]
+ ,compile p0
+ ,["// --- p1 \n"]
,compile p1
,["// --- p2 \n"]
,compile p2
count (sec 1) (n +. One)) In
{main = count (sec 0) Zero}
+p0 :: (Main (Code Int Expr))
p0 = sds \x = 6 In {main = x =. x *. lit 7}
p1 = {main = lit 2 +. lit 4 >>=. \x. (x +. lit 1) *. x}
p2 =