[GHC] #289: class context restrictions in GADT types not assumed

[GHC]

#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