From dbc79d8ab0040c910d748dd7eee28a4152031be0 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Sun, 10 Sep 2017 17:43:12 +0100
Subject: [PATCH] Simplify the non-Copy cases.

---
 src/Diff.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Diff.hs b/src/Diff.hs
index 5b326c734..3ec4b1a19 100644
--- a/src/Diff.hs
+++ b/src/Diff.hs
@@ -69,8 +69,7 @@ evalDiffRM algebra = go
             env <- ask
             let extended = foldr (uncurry envExtend) env bindings
             local (const extended) $ algebra (Copy bindings ann syntax)
-          Patch patch -> algebra (Patch patch)
-          Var var -> algebra (Var var)
+          _ -> algebra diff
 
 
 diffSum :: (Foldable syntax, Functor syntax) => (forall a. Patch a -> Int) -> Diff syntax ann -> Int