Data.Map.Internal.mergeA: floated out the missingSubtree progection of g1
authorwren gayle romano <wren@community.haskell.org>
Mon, 5 Sep 2016 21:55:35 +0000 (14:55 -0700)
committerwren gayle romano <wren@community.haskell.org>
Mon, 5 Sep 2016 21:55:35 +0000 (14:55 -0700)
Data/Map/Internal.hs

index 7d09eb9..8787f63 100644 (file)
@@ -2457,14 +2457,17 @@ mergeA :: (Applicative f, Ord k)
               -> Map k a -- ^ Map @m1@
               -> Map k b -- ^ Map @m2@
               -> f (Map k c)
-mergeA g1 WhenMissing{missingSubtree = g2} (WhenMatched f) = go
+mergeA
+    WhenMissing{missingSubtree = g1}
+    WhenMissing{missingSubtree = g2}
+    (WhenMatched f) = go
   where
-    go t1 Tip = missingSubtree g1 t1
+    go t1 Tip = g1 t1
     go Tip t2 = g2 t2
     go (Bin _ kx x1 l1 r1) t2 = case splitLookup kx t2 of
       (l2, mx2, r2) -> case mx2 of
           Nothing -> (\l' mx' r' -> maybe link2 (link kx) mx' l' r')
-                        <$> l1l2 <*> missingKey g1 kx x1 <*> r1r2
+                        <$> l1l2 <*> g1 kx x1 <*> r1r2
           Just x2 -> (\l' mx' r' -> maybe link2 (link kx) mx' l' r')
                         <$> l1l2 <*> f kx x1 x2 <*> r1r2
         where