#12087: Inconsistency in GADTs? -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: RyanGlScott Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: GADTs Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11540 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I agree this is possible in principle but it is fiddly in practice. What about {{{ MkF :: Ord a => a -> Eq a => F a }}} which ought to work too.
This isn't exactly what the user wrote, but it's equivalent and serviceable.
Yes but we'll soon have people asking that `:t MkF` prints out the type they wrote. Nothing deep here I think, but I'm not persuaded that it's a high priority. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12087#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler