Test type class declaration contexts with multiple constraints
@@ -249,6 +249,7 @@ Type Class Declarations With Context
=========================================
class Show a => Read a where {}
+class (Show a, Eq a) => Read a where {}
---
@@ -256,5 +257,11 @@ class Show a => Read a where {}
(type_class
(context (class (constructor_identifier) (variable_identifier)))
(constructor_identifier)
+ (variable_identifier))
+ (type_class
+ (context
+ (class (constructor_identifier) (variable_identifier))
+ (class (constructor_identifier) (variable_identifier)))
+ (constructor_identifier)
(variable_identifier)))
