Changeset 14128 for src/Pugs/Eval

Timestamp:

10/09/06 17:26:46 (2 years ago)

Author:

audreyt

Message:

* Pugs.Eval.Var: In multi-dispatch, bias toward things with

longer parameter lists, even though the type distance is
otherwise equivalent:

multi f (Any *@) {...}
multi f (Any $) {...} # This always wins on 1arg case

Previously the *@ case will win, which was utterly bogus.

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, sum deltaArgs, deltaCxt), fun)
+            return ((isMulti sub, bound, -(length deltaArgs), sum deltaArgs, deltaCxt), fun)
 
     -- findBuiltinSub :: (_var :: Var, _invs :: Maybe Exp, _args :: [Exp])