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 f0a29bb2d6..48781e8f7f 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -4,7 +4,7 @@ T7230.hs:48:32: error: from the context: Increasing xs ~ 'True bound by the type signature for: crash :: forall (xs :: [Nat]). - Increasing xs ~ 'True => + (Increasing xs ~ 'True) => SList xs -> SBool (Increasing xs) at T7230.hs:47:1-68 or from: xs ~ (x : xs1) |