update
[mTask.git] / mTaskInterpret.icl
index 4c8e43e..0d4de17 100644 (file)
@@ -195,9 +195,10 @@ Start = getSDSBytes (snd bc`) +++ getTaskBytes 400 (fst bc`)
 //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