diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7230.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7230.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index f59e44d5cd..aea0ea4a9d 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -1,6 +1,6 @@ T7230.hs:48:32: error: - • Could not deduce: (x :<<= x1) ~ 'True + • Could not deduce ((x :<<= x1) ~ 'True) from the context: Increasing xs ~ 'True bound by the type signature for: crash :: forall (xs :: [Nat]). |