@@ -141,7 +141,7 @@ resolveExports env mn imps exps refs =
141 go (Qualified (Just mn'') name) = fromMaybe (internalError "Missing value in resolveTypeExports") $ do
141 go (Qualified (Just mn'') name) = fromMaybe (internalError "Missing value in resolveTypeExports") $ do
142 exps' <- envModuleExports <$> mn'' `M.lookup` env
142 exps' <- envModuleExports <$> mn'' `M.lookup` env
143 ((_, dctors'), mnOrig) <- find (\((name', _), _) -> name == name') (exportedTypes exps')
143 ((_, dctors'), mnOrig) <- find (\((name', _), _) -> name == name') (exportedTypes exps')
144− let relevantDctors = mapMaybe (\(Qualified mn''' dctor) -> if mn''' == Just mnOrig then Just dctor else Nothing) dctors
144+ let relevantDctors = mapMaybe (\(Qualified mn''' dctor) -> if mn''' == Just mn'' then Just dctor else Nothing) dctors
145 return ((name, intersect relevantDctors dctors'), mnOrig)
145 return ((name, intersect relevantDctors dctors'), mnOrig)
146 go (Qualified Nothing _) = internalError "Unqualified value in resolveTypeExports"
146 go (Qualified Nothing _) = internalError "Unqualified value in resolveTypeExports"