#7156: "Pattern match on GADT" error for non-GADT ---------------------------------------------------------------+------------ Reporter: ryani | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.0.4 Keywords: GADTs, TypeFamilies, ExistentialQuantification | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------------------------------------+------------ Changes (by simonpj):
* difficulty: => Unknown Comment: Urgh. I'm not sure what you really want to happen here. Do you want a different error message depending on the syntax used when T was declared? Or, since `g` doesn't use any strange syntax, do you want it to be accepted without any flags at all? Or do you want the error message to be worded differently? It's not very clear to me. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7156#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs