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/driver/T2182.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/driver/T2182.stderr')
| -rw-r--r-- | testsuite/tests/driver/T2182.stderr | 52 |
1 files changed, 24 insertions, 28 deletions
diff --git a/testsuite/tests/driver/T2182.stderr b/testsuite/tests/driver/T2182.stderr index d88f6c0057..0585e4c701 100644 --- a/testsuite/tests/driver/T2182.stderr +++ b/testsuite/tests/driver/T2182.stderr @@ -1,28 +1,24 @@ -
-T2182.hs:5:5:
- No instance for (Show (t1 -> t1))
- (maybe you haven't applied a function to enough arguments?)
- arising from a use of ‘show’
- In the expression: show (\ x -> x)
- In an equation for ‘y’: y = show (\ x -> x)
-
-T2182.hs:6:15:
- No instance for (Eq (t0 -> t0))
- (maybe you haven't applied a function to enough arguments?)
- arising from a use of ‘==’
- In the expression: (\ x -> x) == (\ y -> y)
- In an equation for ‘z’: z = (\ x -> x) == (\ y -> y)
-
-T2182.hs:5:5:
- No instance for (Show (t1 -> t1))
- (maybe you haven't applied a function to enough arguments?)
- arising from a use of ‘show’
- In the expression: show (\ x -> x)
- In an equation for ‘y’: y = show (\ x -> x)
-
-T2182.hs:6:15:
- No instance for (Eq (t0 -> t0))
- (maybe you haven't applied a function to enough arguments?)
- arising from a use of ‘==’
- In the expression: (\ x -> x) == (\ y -> y)
- In an equation for ‘z’: z = (\ x -> x) == (\ y -> y)
+ +T2182.hs:5:5: error: + No instance for (Show (t1 -> t1)) arising from a use of ‘show’ + (maybe you haven't applied a function to enough arguments?) + In the expression: show (\ x -> x) + In an equation for ‘y’: y = show (\ x -> x) + +T2182.hs:6:15: error: + No instance for (Eq (t0 -> t0)) arising from a use of ‘==’ + (maybe you haven't applied a function to enough arguments?) + In the expression: (\ x -> x) == (\ y -> y) + In an equation for ‘z’: z = (\ x -> x) == (\ y -> y) + +T2182.hs:5:5: error: + No instance for (Show (t1 -> t1)) arising from a use of ‘show’ + (maybe you haven't applied a function to enough arguments?) + In the expression: show (\ x -> x) + In an equation for ‘y’: y = show (\ x -> x) + +T2182.hs:6:15: error: + No instance for (Eq (t0 -> t0)) arising from a use of ‘==’ + (maybe you haven't applied a function to enough arguments?) + In the expression: (\ x -> x) == (\ y -> y) + In an equation for ‘z’: z = (\ x -> x) == (\ y -> y) |