diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
| commit | c22af4a538ad83191266c1150ca7182206ed2351 (patch) | |
| tree | 3d11971d7dabeb0857fed7b6a85d1c2983041d02 /testsuite/tests/typecheck/should_fail/T3950.stderr | |
| parent | 77193177a3239185f0cfca4d2844a8d5bc7d0d37 (diff) | |
| download | haskell-c22af4a538ad83191266c1150ca7182206ed2351.tar.gz | |
Tons of error message wibbles
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3950.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3950.stderr | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr index 876a4997c5..07b1d32f99 100644 --- a/testsuite/tests/typecheck/should_fail/T3950.stderr +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -1,10 +1,16 @@ T3950.hs:15:13: Couldn't match kind `* -> *' with `*' - Expected type: w (Id p) - Actual type: Sealed (Id p0 x0) - Kind incompatibility when matching types: + When matching types w :: (* -> * -> *) -> * Sealed :: (* -> *) -> * + Expected type: w (Id p) + Actual type: Sealed (Id p0 x0) 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 |