diff options
| author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-01-19 09:42:13 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-22 15:00:47 -0500 |
| commit | c36a4f6389e5607b1608682c2fcdb0866cac31d0 (patch) | |
| tree | eb76e2665ea6a5b87caded5745edfab99e280cae /testsuite/tests/dependent | |
| parent | a64f21e9f6bd949847d3c8fa1e427e5c763ccd7f (diff) | |
| download | haskell-c36a4f6389e5607b1608682c2fcdb0866cac31d0.tar.gz | |
Fix tests relying on same-line diagnostic ordering
This commit fixes 19 tests which were failing due to the use of
`consBag` / `snocBag`, which have been now replaced by `addMessage`.
This means that now GHC would output things in different order but
only for /diagnostics on the same line/, so this is just reflecting
that. The "normal" order of messages is still guaranteed.
Diffstat (limited to 'testsuite/tests/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T11334b.stderr | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11334b.stderr b/testsuite/tests/dependent/should_fail/T11334b.stderr index effdf20828..57045d6df1 100644 --- a/testsuite/tests/dependent/should_fail/T11334b.stderr +++ b/testsuite/tests/dependent/should_fail/T11334b.stderr @@ -1,7 +1,7 @@ T11334b.hs:8:14: error: - • Cannot default kind variable ‘f0’ - of kind: k0 -> * + • Cannot default kind variable ‘a0’ + of kind: k10 Perhaps enable PolyKinds or add a kind signature • In an expression type signature: Proxy 'Compose In the expression: Proxy :: Proxy 'Compose @@ -16,9 +16,10 @@ T11334b.hs:8:14: error: In an equation for ‘p’: p = Proxy :: Proxy 'Compose T11334b.hs:8:14: error: - • Cannot default kind variable ‘a0’ - of kind: k10 + • Cannot default kind variable ‘f0’ + of kind: k0 -> * Perhaps enable PolyKinds or add a kind signature • In an expression type signature: Proxy 'Compose In the expression: Proxy :: Proxy 'Compose In an equation for ‘p’: p = Proxy :: Proxy 'Compose + |