diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.stderr b/testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.stderr new file mode 100644 index 0000000000..0900da8e33 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.stderr @@ -0,0 +1,10 @@ + +SkolemOccursLoop.hs:18:0: + Couldn't match expected type `F a' + against inferred type `[T (F (T (F a)))]' + When generalising the type(s) for `test1' + +SkolemOccursLoop.hs:31:0: + Couldn't match expected type `S (G (a, a))' + against inferred type `G [S (G (a, a))]' + When generalising the type(s) for `test2' |