#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