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 5c610b2895..6618346452 100644 --- a/testsuite/tests/gadt/T7558.stderr +++ b/testsuite/tests/gadt/T7558.stderr @@ -7,7 +7,7 @@ T7558.hs:8:4: error: at T7558.hs:7:6 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 |