diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-06 19:35:24 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-17 09:35:53 -0400 |
| commit | 4564f00fdeb5e072e8f91fec72a6393f0e3f0703 (patch) | |
| tree | 9cbbc1791aac4c6cf07c08abf1c1c0f05f457e96 /testsuite/tests/typecheck/should_fail/T15883d.stderr | |
| parent | 885f17c89919d21815365da71eb7f9c489e5bfa3 (diff) | |
| download | haskell-4564f00fdeb5e072e8f91fec72a6393f0e3f0703.tar.gz | |
Improve pretty-printer defaulting logic (#19361)
When determining whether to default a RuntimeRep or Multiplicity
variable, use isMetaTyVar to distinguish between metavariables
(which can be hidden) and skolems (which cannot).
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15883d.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15883d.stderr | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15883d.stderr b/testsuite/tests/typecheck/should_fail/T15883d.stderr index 162b31072e..96a294bc9e 100644 --- a/testsuite/tests/typecheck/should_fail/T15883d.stderr +++ b/testsuite/tests/typecheck/should_fail/T15883d.stderr @@ -1,6 +1,8 @@ -T15883d.hs:14:1: - Can't make a derived instance of + +T15883d.hs:14:1: error: + • Can't make a derived instance of ‘Show (Foo ('BoxedRep 'Lifted))’ with the stock strategy: - Don't know how to derive ‘Show’ for type ‘forall a. a’ - In the stand-alone deriving instance for + Don't know how to derive ‘Show’ + for type ‘forall (a :: TYPE rep). a’ + • In the stand-alone deriving instance for ‘Show (Foo (BoxedRep Lifted))’ |