diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-03 18:21:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-03 18:21:40 +0100 |
| commit | 717a1db67218c7b9b66ced40b89d2f334d4d8a19 (patch) | |
| tree | aee616dd0d70be71a9b1a77b80c89b1c19f3aede /testsuite/tests/indexed-types/should_fail/T3330c.stderr | |
| parent | 25fb90d79ac236a511fe1759ebcdd3cee9c4a0ec (diff) | |
| download | haskell-717a1db67218c7b9b66ced40b89d2f334d4d8a19.tar.gz | |
Wibbles to error output
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330c.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330c.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330c.stderr b/testsuite/tests/indexed-types/should_fail/T3330c.stderr index 3d387b5bc7..52d6afe3e7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -1,11 +1,11 @@ -
-T3330c.hs:23:43:
- Couldn't match kind ‛* -> *’ with ‛*’
- When matching types
- R :: (* -> *) -> *
- Der ((->) x) :: * -> *
- Expected type: Der ((->) x) (f1 x)
- Actual type: R f1
- In the first argument of ‛plug’, namely ‛rf’
- In the first argument of ‛Inl’, namely ‛(plug rf df x)’
- In the expression: Inl (plug rf df x)
+ +T3330c.hs:23:43: + Couldn't match kind ‛*’ with ‛* -> *’ + When matching types + Der ((->) x) :: * -> * + R :: (* -> *) -> * + Expected type: Der ((->) x) (f1 x) + Actual type: R f1 + In the first argument of ‛plug’, namely ‛rf’ + In the first argument of ‛Inl’, namely ‛(plug rf df x)’ + In the expression: Inl (plug rf df x) |