diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-30 11:41:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-04 10:38:06 +0000 |
| commit | 5479ae0a0ff6d5df2da4f6208ce747f669c6d492 (patch) | |
| tree | 1a7d32c9657d59690c47135898086955d5907bb5 /testsuite/tests/gadt/gadt21.stderr | |
| parent | 66658eedf0aa51de37ff6d2d009a2f37208985ca (diff) | |
| download | haskell-5479ae0a0ff6d5df2da4f6208ce747f669c6d492.tar.gz | |
Testsuite error message changes
Diffstat (limited to 'testsuite/tests/gadt/gadt21.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt21.stderr | 33 |
1 files changed, 14 insertions, 19 deletions
diff --git a/testsuite/tests/gadt/gadt21.stderr b/testsuite/tests/gadt/gadt21.stderr index 5c234daf99..9b29cba4c0 100644 --- a/testsuite/tests/gadt/gadt21.stderr +++ b/testsuite/tests/gadt/gadt21.stderr @@ -1,19 +1,14 @@ - -gadt21.hs:21:60: - 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’ - at gadt21.hs:21:35-43 - Possible fix: - add (Ord a1) to the context of - 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)’ - In the expression: Just (f e) - In an equation for ‘withOrdDynExpr’: - withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e) +
+gadt21.hs:21:60:
+ 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’
+ at gadt21.hs:21:35-43
+ Possible fix:
+ add (Ord a1) to the context of the data constructor ‘TypeSet’
+ In the first argument of ‘Just’, namely ‘(f e)’
+ In the expression: Just (f e)
+ In an equation for ‘withOrdDynExpr’:
+ withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e)
|