[GHC] #14042: Data type with type family in return kind spuriously rejected
GHC
ghc-devs at haskell.org
Fri Jul 28 15:27:38 UTC 2017
#14042: Data type with type family in return kind spuriously rejected
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 8.0.1
checker) | Keywords: TypeInType,
Resolution: | TypeFamilies
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 RyanGlScott):
Fair enough, I can accept GHC rejecting occurrences of type families in
data type return kinds. But at the very least the error message ought to
be changed here, because the current one misleads readers from the real
problem.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14042#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list