diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3950.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3950.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr new file mode 100644 index 0000000000..1c326ad43e --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -0,0 +1,7 @@ + +T3950.hs:15:13: + Couldn't match expected type `Id p' with actual type `Id p x0' + Expected type: w (Id p) + Actual type: Sealed (Id p x0) + In the first argument of `Just', namely `rp'' + In the expression: Just rp' |