diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4272.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4272.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr new file mode 100644 index 0000000000..792cde92b8 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T4272.stderr @@ -0,0 +1,8 @@ + +T4272.hs:11:16: + Occurs check: cannot construct the infinite type: + a0 = TermFamily a0 a0 + In the first argument of `prune', namely `t' + In the expression: prune t (terms (undefined :: TermFamily a a)) + In an equation for `laws': + laws t = prune t (terms (undefined :: TermFamily a a)) |