Changeset 5646 for src/Pugs/Compile.hs

Timestamp:

07/17/05 21:22:32 (3 years ago)

Author:

iblech

svk:copy_cache_prev:

7648

Message:

* Pugs.Compile -- &infix:<>(foo, bar) is compiled as &infix:<>(foo,

PThunk(bar)) now.

* Pugs.CodeGen?.PIR -- So Pugs.CodeGen?.PIR doesn't have to do this change, as

Pugs.Compile does it now.

* Pugs.Parser -- Filtered out &infix:<,> from list of user-overridable subs, as

else even basic arglists use &infix:<,> if a &infix:<,> is defined (see
comment).

* PIL2JS: Prelude::JS -- Proper support for , &&, etc.
* PIL2JS: README -- Minor cleanup.

Files:

• src/Pugs/Compile.hs (modified) (1 diff)

src/Pugs/Compile.hs

@@ -329 +329 @@
         invC    <- maybeM (return inv) compile
         argsC   <- enter cxtItemAny $ compile args
-        return $ PApp cxt funC invC argsC
+        if isLogicalLazy funC
+            then return $ PApp cxt funC invC (head argsC:map PThunk (tail argsC))
+            else return $ PApp cxt funC invC argsC
+        where
+        -- XXX HACK
+        isLogicalLazy (PExp (PVar "&infix:or"))  = True
+        isLogicalLazy (PExp (PVar "&infix:and")) = True
+        isLogicalLazy (PExp (PVar "&infix:||"))  = True
+        isLogicalLazy (PExp (PVar "&infix:&&"))  = True
+        isLogicalLazy (PExp (PVar "&infix://"))  = True
+        isLogicalLazy (PExp (PVar "&infix:err"))  = True
+        isLogicalLazy _ = False
     compile exp@(Syn "if" _) = compConditional exp
     compile (Syn "{}" (x:xs)) = compile $ App (Var "&postcircumfix:{}") (Just x) xs