Changeset 4888 for src/Pugs/Compile/PIR.hs

Timestamp:

06/20/05 22:13:19 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

6641

Message:

* while loop and until loop

Files:

• src/Pugs/Compile/PIR.hs (modified) (2 diffs)

src/Pugs/Compile/PIR.hs

@@ -247 +247 @@
     compile exp@(Syn "while" _) = compLoop exp
     compile exp@(Syn "until" _) = compLoop exp
+    compile exp@(Syn "postwhile" _) = compLoop exp
+    compile exp@(Syn "postuntil" _) = compLoop exp
     compile (Syn "for" [exp, body]) = do
         expC    <- compile exp
@@ -331 +333 @@
 compLoop (Syn name [cond, body]) = do
     cxt     <- askTCxt
-    condC   <- compile cond
-    bodyC   <- compile body
+    condC   <- enter (CxtItem $ mkType "Bool") $ compile cond
+    bodyC   <- enter CxtVoid $ compile body
     funC    <- compile (Var $ "&statement_control:" ++ name)
     return . PStmt . PExp $ PApp cxt funC [pBlock condC, pBlock bodyC]