diff options
Diffstat (limited to 'testsuite/tests/typing-misc/wellfounded.ml.principal.reference')
| -rw-r--r-- | testsuite/tests/typing-misc/wellfounded.ml.principal.reference | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/wellfounded.ml.principal.reference b/testsuite/tests/typing-misc/wellfounded.ml.principal.reference new file mode 100644 index 000000000..0c9e64ad0 --- /dev/null +++ b/testsuite/tests/typing-misc/wellfounded.ml.principal.reference @@ -0,0 +1,7 @@ + +# type _ prod = Prod : ('a * 'y) prod +# Characters 87-96: + type d = d * d + ^^^^^^^^^ +Error: The type abbreviation d is cyclic +# |