diff options
Diffstat (limited to 'testsuite/tests/gadt/T7558.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7558.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/T7558.stderr b/testsuite/tests/gadt/T7558.stderr index 568f64fcee..f3d74362a5 100644 --- a/testsuite/tests/gadt/T7558.stderr +++ b/testsuite/tests/gadt/T7558.stderr @@ -3,7 +3,7 @@ T7558.hs:8:4: error: • Occurs check: cannot construct the infinite type: a ~ Maybe a Inaccessible code in a pattern with constructor: - MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b, + MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b, in an equation for ‘f’ • In the pattern: MkT x y In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True |