9b29cba4c01107f337740d54c4c658702a9315e4
[ghc.git] / testsuite / tests / gadt / gadt21.stderr
1 \r
2 gadt21.hs:21:60:\r
3     Could not deduce (Ord a1) arising from a use of ‘f’\r
4     from the context (a ~ Set a1)\r
5       bound by a pattern with constructor\r
6                  TypeSet :: forall a. Type a -> Type (Set a),\r
7                in an equation for ‘withOrdDynExpr’\r
8       at gadt21.hs:21:35-43\r
9     Possible fix:\r
10       add (Ord a1) to the context of the data constructor ‘TypeSet’\r
11     In the first argument of ‘Just’, namely ‘(f e)’\r
12     In the expression: Just (f e)\r
13     In an equation for ‘withOrdDynExpr’:\r
14         withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e)\r