Changeset 3340 for src/Pugs/Eval.hs

Timestamp:

05/17/05 16:01:42 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

4908

Message:

* switch to Manhattan distance for MMD dispatch on invocants.

Files:

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

src/Pugs/Eval.hs

@@ -833 +833 @@
         deltaCxt    <- deltaFromCxt ret
         deltaArgs   <- mapM deltaFromPair pairs
-        let distance = (deltaCxt : deltaArgs)
         let bound = either (const False) (const True) $ bindParams sub invs args
         return $ Just
-            ( (isGlobal, subT, isMulti sub, bound, distance)
+            ( (isGlobal, subT, isMulti sub, bound, sum deltaArgs, deltaCxt)
             , fromJust fun
             )