Changeset 17873

Timestamp:

09/16/07 23:33:39 (14 months ago)

Author:

ryporter

Message:

Stricter pattern matching before calling mungeChainSub(). Prevents "Irrefutable pattern failed" errors that were showing up in unit tests in value-equivalence.t.

Files:

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

src/Pugs/Eval.hs

@@ -1252 +1252 @@
     , Nothing                           <- invs
     = case args of
-        (App _ Nothing _:_) -> mungeChainSub sub args
-        _                   -> applyChainSub sub args
+        (App (Var _) Nothing _:_) -> mungeChainSub sub args
+        _                         -> applyChainSub sub args
     -- normal application
     | otherwise