
#13847: record construction accepts local unqualified name instead of qualified
imported name
-------------------------------------+-------------------------------------
Reporter: j.waldmann | Owner: (none)
Type: bug | Status: patch
Priority: normal | Milestone: 8.4.1
Component: Compiler | Version: 8.0.1
Resolution: | Keywords: ORF
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: GHC accepts | Test Case:
invalid program | rename/should_fail/T13847
Blocked By: | Blocking:
Related Tickets: #13644 | Differential Rev(s): Phab:D3988
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari