diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt21.stderr')
-rw-r--r-- | testsuite/tests/gadt/gadt21.stderr | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/testsuite/tests/gadt/gadt21.stderr b/testsuite/tests/gadt/gadt21.stderr index 061c563465..0293eaafb8 100644 --- a/testsuite/tests/gadt/gadt21.stderr +++ b/testsuite/tests/gadt/gadt21.stderr @@ -1,20 +1,19 @@ gadt21.hs:21:60: - Could not deduce (Ord a1) arising from a use of `f' + Could not deduce (Ord a1) arising from a use of ‛f’ from the context (a ~ Set a1) bound by a pattern with constructor TypeSet :: forall a. Type a -> Type (Set a), - in an equation for `withOrdDynExpr' + in an equation for ‛withOrdDynExpr’ at gadt21.hs:21:35-43 Possible fix: add (Ord a1) to the context of - the data constructor `TypeSet' - or the data constructor `DynExpr' + the data constructor ‛TypeSet’ + or the data constructor ‛DynExpr’ or the type signature for withOrdDynExpr :: DynExpr - -> (forall a. Ord a => Expr a -> b) - -> Maybe b - In the first argument of `Just', namely `(f e)' + -> (forall a. Ord a => Expr a -> b) -> Maybe b + In the first argument of ‛Just’, namely ‛(f e)’ In the expression: Just (f e) - In an equation for `withOrdDynExpr': + In an equation for ‛withOrdDynExpr’: withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e) |