
#13622: Regression: can't export constructor when conflicting, qualified constructor is also in scope -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): The problem is that name clash errors are reported too eagerly. Solution. 1. Extend `ChildLookupResult` to have a case for an ambiguous lookup 2. Prefer other options to ambiguous lookup in the monoid instance. 3. Use `addNameClashErr` when handling `ChildLookupResult` for the ambiguous case. I need to look carefully at whether all the uses of ambiguous names are recoverable or whether they should all be deferred to later. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13622#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler