@@ -59,9 +59,11 @@
61++ eval-blok
61++ eval-blok
63 ^- (eval-m value)
64 ^- (eval-m value)
64 =/ body body.blok
65 =/ body body.blok
66 ^- (eval-m value)
68 ^- (eval-m value)
@@ -70,7 +72,23 @@
70 ;< rets=(lest value) bind (eval-exprlist u.u.ret.blok)
72 ;< rets=(lest value) bind (eval-exprlist u.u.ret.blok)
71 (pure multires+rets)
73 (pure multires+rets)
72 ;< ~ bind (eval-stat i.body)
74 ;< ~ bind (eval-stat i.body)
73− $(body t.body)
75+ ;< ret=value bind $(body t.body)
82+ =. local-envs.st [*(map name value) local-envs.st]
74++ eval-exprlist
92++ eval-exprlist
75 |= vals=exprlist
93 |= vals=exprlist
76 ^- (eval-m (lest value))
94 ^- (eval-m (lest value))