add state to the bytecode generator

[mTask.git] / mTaskCode.icl

diff --git a/mTaskCode.icl b/mTaskCode.icl
index 3edd2ce..8402abe 100644 (file)
--- a/mTaskCode.icl
+++ b/mTaskCode.icl
@@ -395,10 +395,10 @@ embed e =
 (+.+) (C f) (C g) = C \rw c.g Rd (f Rd c)
 
 fresh :: (Int -> (Code a p)) -> (Code a p)
-fresh f = C \rw c.unC (f c.fresh) rw {c & fresh = c.fresh + 1}
+fresh f = C \rw c.unC (f c.fresh) rw {CODE | c & fresh = c.fresh + 1}
 
 freshMTask :: (Int -> (Code a p)) -> (Code a p)
-freshMTask f = C \rw c.unC (f c.freshMTask) rw {c & freshMTask = c.freshMTask + 1}
+freshMTask f = C \rw c.unC (f c.freshMTask) rw {CODE | c & freshMTask = c.freshMTask + 1}
 
 setCode :: Def -> (Code a p)
 setCode d = C \rw c.{c & def = d}