Changeset 14141 for src/Pugs/Eval

Timestamp:

10/09/06 17:27:08 (2 years ago)

Author:

audreyt

Message:

* Pugs.Eval.Var: The previous treatment of ($) always beating (*@)

was too eager. Instead ($) should win iff it's compatible with
the argument, i.e. at least (Any).

Files:

• src/Pugs/Eval/Var.hs (modified) (1 diff)

src/Pugs/Eval/Var.hs

@@ -333 +333 @@
             deltaArgs   <- mapM deltaFromPair pairs
             let bound = either (const False) (const True) $ bindParams sub _invs _args
-            return ((isMulti sub, bound, -(length deltaArgs), sum deltaArgs, deltaCxt), fun)
+            return ((isMulti sub, bound, sum deltaArgs, -(length deltaArgs), deltaCxt), fun)
 
     -- findBuiltinSub :: (_var :: Var, _invs :: Maybe Exp, _args :: [Exp])