Skip to content
Snippets Groups Projects
Commit 5cf626df authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Merge pull request #2077 from ezyang/ezyang-accept-duplicates

Accept duplicates when they're all the same.
parents a7d5c859 98864555
No related merge requests found
......@@ -1236,7 +1236,8 @@ resolveModuleReexports installedPackages srcpkgid externalPkgDeps lib =
(Map.findWithDefault [] originalName visibleModules)
in
case (matches, moriginalPackageName) of
([(_, definingModuleName, definingPackageId)], _)
((_, definingModuleName, definingPackageId):rest, _)
| all (\(_, n, p) -> n == definingModuleName && p == definingPackageId) rest
-> Right Installed.ModuleReexport {
Installed.moduleReexportDefiningName = definingModuleName,
Installed.moduleReexportDefiningPackage = definingPackageId,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment