From f1a44db1390eb89ce78fa0f8f844c3ca8b7b139e Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 30 Mar 2018 13:59:05 -0400 Subject: [PATCH] =?UTF-8?q?Merge=20modules=E2=80=99=20packages.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Data/Abstract/Origin.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Data/Abstract/Origin.hs b/src/Data/Abstract/Origin.hs index 660f8e109..3d635288f 100644 --- a/src/Data/Abstract/Origin.hs +++ b/src/Data/Abstract/Origin.hs @@ -69,6 +69,7 @@ deriving instance Show (Base term ()) => Show (SomeOrigin term) merge :: Origin term ty1 -> Origin term ty2 -> SomeOrigin term merge a Unknown = SomeOrigin a merge (Package p) (Module Unknown m) = SomeOrigin (Module (Package p) m) +merge (Module p _) (Module Unknown m) = SomeOrigin (Module p m) merge (Module p m) (Term Unknown t) = SomeOrigin (Term (Module p m) t) merge (Term m _) (Term Unknown t) = SomeOrigin (Term m t) merge _ b = SomeOrigin b