diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-26 16:00:19 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-26 17:53:33 +0100 |
commit | ceb3c8448dfba23aa98a710f846304158c1c584b (patch) | |
tree | 18f397939bdf200877cc3189ddd15dfb3d30e9a8 /testsuite/tests/annotations/should_fail/annfail08.stderr | |
parent | a64a26f0a1a864522937caaf68687baf1a5f9bcb (diff) | |
download | haskell-ceb3c8448dfba23aa98a710f846304158c1c584b.tar.gz |
Improve error message for Typeable k (T k)
GHC can't yest build a TypeRep for a type involving kind variables.
(We await kinds = types for that.) But the error message was terrible,
as fixing #10524 reminded me.
This improves it a lot.
Diffstat (limited to 'testsuite/tests/annotations/should_fail/annfail08.stderr')
-rw-r--r-- | testsuite/tests/annotations/should_fail/annfail08.stderr | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail08.stderr b/testsuite/tests/annotations/should_fail/annfail08.stderr index 2a9980dcb6..66e9c7e29b 100644 --- a/testsuite/tests/annotations/should_fail/annfail08.stderr +++ b/testsuite/tests/annotations/should_fail/annfail08.stderr @@ -1,12 +1,10 @@ -
-annfail08.hs:9:1:
- No instance for (Data (a0 -> a0))
- (maybe you haven't applied a function to enough arguments?)
- arising from an annotation
- In the annotation: {-# ANN f (id + 1) #-}
-
-annfail08.hs:9:15:
- No instance for (Num (a0 -> a0))
- (maybe you haven't applied a function to enough arguments?)
- arising from a use of ‘+’
- In the annotation: {-# ANN f (id + 1) #-}
+ +annfail08.hs:9:1: error: + No instance for (Data (a0 -> a0)) arising from an annotation + (maybe you haven't applied a function to enough arguments?) + In the annotation: {-# ANN f (id + 1) #-} + +annfail08.hs:9:15: error: + No instance for (Num (a0 -> a0)) arising from a use of ‘+’ + (maybe you haven't applied a function to enough arguments?) + In the annotation: {-# ANN f (id + 1) #-} |