#289: class context restrictions in GADT types not assumed -------------------------------------+------------------------------------- Reporter: ashley-y | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 6.8.1 Component: Compiler (Type | Version: 6.4 checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: Unknown/Multiple | Test Case: gadt/data1, Difficulty: Unknown | gadt/data2 -------------------------------------+------------------------------------- Comment (by simonpj <simonpj@…>): In [changeset:"31fbae749fc0e67b48d490349dfa6279881e6414/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="31fbae749fc0e67b48d490349dfa6279881e6414" Tests for Trac #289 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/289#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler