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