diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7053.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7053.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/polykinds/T7053.stderr b/testsuite/tests/polykinds/T7053.stderr index ab85797890..f5c3efc4f9 100644 --- a/testsuite/tests/polykinds/T7053.stderr +++ b/testsuite/tests/polykinds/T7053.stderr @@ -1,8 +1,8 @@ -
-T7053.hs:6:52:
- Kind occurs check
- The first argument of `a' should have kind `k0',
- but `b' has kind `k0 -> k1'
- In the type `TypeRep (a b)'
- In the definition of data constructor `TyApp'
- In the data declaration for `TypeRep'
+ +T7053.hs:6:52: + Kind occurs check + The first argument of ‛a’ should have kind ‛k0’, + but ‛b’ has kind ‛k0 -> k1’ + In the type ‛TypeRep (a b)’ + In the definition of data constructor ‛TyApp’ + In the data declaration for ‛TypeRep’ |