diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt10.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt10.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/gadt/gadt10.stderr b/testsuite/tests/gadt/gadt10.stderr index e244eca056..fa485aade5 100644 --- a/testsuite/tests/gadt/gadt10.stderr +++ b/testsuite/tests/gadt/gadt10.stderr @@ -1,7 +1,7 @@ -
-gadt10.hs:6:24:
- Expecting one more argument to `RInt'
- Expected kind `*', but `RInt' has kind `k0 -> *'
- In the type `RInt'
- In the definition of data constructor `R'
- In the data declaration for `RInt'
+ +gadt10.hs:6:24: + Expecting one more argument to ‛RInt’ + Expected kind ‛*’, but ‛RInt’ has kind ‛k0 -> *’ + In the type ‛RInt’ + In the definition of data constructor ‛R’ + In the data declaration for ‛RInt’ |