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/ghci/scripts/Defer02.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/ghci/scripts/Defer02.stderr')
| -rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index a3a3e9d061..b5b3373489 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -26,9 +26,8 @@ In an equation for ‘c’: c (C2 x) = True ../../typecheck/should_run/Defer01.hs:28:5: warning: - No instance for (Num (a -> a)) + No instance for (Num (a -> a)) arising from the literal ‘1’ (maybe you haven't applied a function to enough arguments?) - arising from the literal ‘1’ In the expression: 1 In an equation for ‘d’: d = 1 @@ -136,9 +135,8 @@ In the first argument of ‘c’, namely ‘(C2 True)’ In the first argument of ‘print’, namely ‘(c (C2 True))’ *** Exception: ../../typecheck/should_run/Defer01.hs:28:5: error: - No instance for (Num (a -> a)) + No instance for (Num (a -> a)) arising from the literal ‘1’ (maybe you haven't applied a function to enough arguments?) - arising from the literal ‘1’ In the expression: 1 In an equation for ‘d’: d = 1 (deferred type error) |