diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-18 11:20:31 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:16:11 -0400 |
| commit | 0b89064cc67cb4fbdba0044ab59a17b20bbde1db (patch) | |
| tree | 7d9ddb0c1f94fa5f5e9dc2a780ed136adbc598f6 /testsuite/tests/gadt | |
| parent | 1701255c06fed2aa2811f7f29f108d88fc4d6f26 (diff) | |
| download | haskell-0b89064cc67cb4fbdba0044ab59a17b20bbde1db.tar.gz | |
Make equality print better. (#11712)
Diffstat (limited to 'testsuite/tests/gadt')
| -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 |