@@ -49,6 +49,11 @@ moduleToCoreFn env (A.Module mn decls (Just exps)) =
4949moduleToCoreFn _ (A.Module{}) =
5050 error "Module exports were not elaborated before moduleToCoreFn"
5151
52+-- |
53+-- Find module names from qualified references to values. This is used to
54+-- ensure instances are imported from any module that is referenced by the
55+-- current module, not just from those that are imported explicitly (#667).
56+--
5257findQualModules :: [A.Declaration] -> [ModuleName]
5358findQualModules decls =
5459 let (f, _, _, _, _) = everythingOnValues (++) (const []) fqValues (const []) (const []) (const [])