[GHC] #10514: Generic for existential types
GHC
ghc-devs at haskell.org
Thu Sep 17 18:03:56 UTC 2015
#10514: Generic for existential types
-------------------------------------+-------------------------------------
Reporter: andreas.abel | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Core Libraries | Version: 7.10.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by dreixel):
I might be wrong, but I don't think there's any hope for supporting
existentials with the current approach of `GHC.Generics` (especially when
their kind is `*` and they show up as arguments to constructors).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10514#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list