[GHC] #9667: Type inference is weaker for GADT than analogous Data Family
GHC
ghc-devs at haskell.org
Tue Oct 14 21:50:51 UTC 2014
#9667: Type inference is weaker for GADT than analogous Data Family
-------------------------------------+-------------------------------------
Reporter: carter | Owner:
Type: feature | Status: new
request | Milestone:
Priority: normal | Version: 7.8.3
Component: Compiler | Keywords:
(Type checker) | Architecture: Unknown/Multiple
Resolution: | Difficulty: Unknown
Operating System: | Blocked By:
Unknown/Multiple | Related Tickets:
Type of failure: GHC |
rejects valid program |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by carter):
i can replace most of that with stubs that are defined with`= error "not
defined"` if you wanted, might take a bit longer for me to boil down the
rest into a more minimal repro, but i'll try to find the time to think
about it.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9667#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list