diff options
author | Dimitrios.Vytiniotis <dimitris@microsoft.com> | 2012-04-04 14:41:11 +0100 |
---|---|---|
committer | Dimitrios.Vytiniotis <dimitris@microsoft.com> | 2012-04-04 14:41:11 +0100 |
commit | 0b3c3c81792c88ee40687f86bed4935e721dabe0 (patch) | |
tree | dcf508fb11769f971af2476a7630420322c93e09 /testsuite/tests/typecheck/should_fail/T3950.stderr | |
parent | 02fb36f5a28f2a1e38df7beacc65c0af82562e9a (diff) | |
download | haskell-0b3c3c81792c88ee40687f86bed4935e721dabe0.tar.gz |
Error message modifications following ghc-new-solver modifications
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3950.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T3950.stderr | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr index c8d8340885..876a4997c5 100644 --- a/testsuite/tests/typecheck/should_fail/T3950.stderr +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -1,13 +1,10 @@ T3950.hs:15:13: - Couldn't match type `Id p0 x0' with `Id p' + Couldn't match kind `* -> *' with `*' Expected type: w (Id p) Actual type: Sealed (Id p0 x0) + Kind incompatibility when matching types: + w :: (* -> * -> *) -> * + Sealed :: (* -> *) -> * In the first argument of `Just', namely rp' In the expression: Just rp' - In an equation for `rp': - rp _ - = Just rp' - where - rp' :: Sealed (Id p x) - rp' = undefined |