#15398: GADT deriving Ord generates inaccessible code in a pattern with constructor. -------------------------------------+------------------------------------- Reporter: philderbeast | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.2.2 Resolution: | Keywords: deriving, | PatternMatchWarnings Operating System: MacOS X | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Replying to [comment:11 simonpj]:
* Use the same name, on the grounds that you'll seldom, if ever, want both in scope at the same time.
Ah, if only. I actually did try adding a field named `ic_dflags` to `Implication`, and it resulted in compilation errors due to conflicting with `InteractiveContext`'s `ic_dflags` in certain modules, so this is a problem in practice.
* Use `implic_dflags` or something, with a short explanation about why it's different.
I'll go with that idea. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15398#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler