Changeset 5807 for src/Pugs/Bind.hs

Timestamp:

07/26/05 11:39:00 (3 years ago)

Author:

autrijus

svk:copy_cache_prev:

7758

Message:

* Fix pair binding: For functions expecting pairs as arguments,

their Pair arguments should engate in positional binding,
not named bindings phase. Implemented with the hack of
(Syn "=>") representing a pair as named argument, and the
original (App (Var "&infix:=>")) now means positional during
the binding phase.

Files:

• src/Pugs/Bind.hs (modified) (3 diffs)

src/Pugs/Bind.hs

@@ -44 +44 @@
         = ( ((prm, exp) : bound), exps )
         | otherwise
-        = ( bound, (App (Var "&infix:=>") Nothing [Val (VStr name), exp]:exps) )
+        = ( bound, (Syn "=>" [Val (VStr name), exp]:exps) )
 
 
@@ -148 +148 @@
 isPair (Pos _ exp) = isPair exp
 isPair (Cxt _ exp) = isPair exp
-isPair (App (Var "&infix:=>") Nothing [(Cxt _ (Val _)), _])   = True
-isPair (App (Var "&infix:=>") Nothing [(Val _), _])   = True
+isPair (Syn "=>" [(Cxt _ (Val _)), _])   = True
+isPair (Syn "=>" [(Val _), _])   = True
 isPair _                         = False
 
@@ -159 +159 @@
 unPair (Pos _ exp) = unPair exp
 unPair (Cxt _ exp) = unPair exp
-unPair (App (Var "&infix:=>") Nothing [key, exp])
+unPair (Syn "=>" [key, exp])
     | Val (VStr k) <- unwrap key = (k, exp)
 unPair x = error ("Not a pair: " ++ show x)