Re: #16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId
"GHC" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.glasgow.bugs |
|---|---|
| Message-ID | <[email protected]> |
#16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #16296 | Differential Rev(s):
Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/416
-------------------------------------+-------------------------------------
Comment (by simonpj):
This ticket is fixed by the patch in comment:6.
This is a quick-fix, not the proper solution. But we have #16296 for the
proper solution, so I'll close this.
We don't need a test case because all CI runs would (now, I hope) fail if
this patch wasn't working. Matthew made some other change that makes CI
catch these failures, whereas previously they were sneaking through.
Matthew, perhaps you can just add a link to the CI-fix, and then close
this?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16346#comment:7>