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/polykinds/T10503.stderr | |
| parent | 1701255c06fed2aa2811f7f29f108d88fc4d6f26 (diff) | |
| download | haskell-0b89064cc67cb4fbdba0044ab59a17b20bbde1db.tar.gz | |
Make equality print better. (#11712)
Diffstat (limited to 'testsuite/tests/polykinds/T10503.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T10503.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T10503.stderr b/testsuite/tests/polykinds/T10503.stderr index 141f16fc6e..a74615cd06 100644 --- a/testsuite/tests/polykinds/T10503.stderr +++ b/testsuite/tests/polykinds/T10503.stderr @@ -3,11 +3,11 @@ T10503.hs:8:6: error: • Could not deduce: k ~ * from the context: Proxy 'KProxy ~ Proxy 'KProxy bound by the type signature for: - h :: (Proxy 'KProxy ~ Proxy 'KProxy) => r + h :: Proxy 'KProxy ~ Proxy 'KProxy => r at T10503.hs:8:6-85 ‘k’ is a rigid type variable bound by the type signature for: - h :: forall k r. ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r + h :: forall k r. (Proxy 'KProxy ~ Proxy 'KProxy => r) -> r at T10503.hs:8:6 • In the ambiguity check for ‘h’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes |