wellfounded.ml.principal.reference « typing-misc « tests « testsuite - adrien/ocaml - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/testsuite/tests/typing-misc/wellfounded.ml.principal.reference

blob: 0c9e64ad01059ac7a44f3eec9dfe7c06e60cf5ee (plain)


#     type _ prod = Prod : ('a * 'y) prod
#               Characters 87-96:
        type d = d * d
             ^^^^^^^^^
Error: The type abbreviation d is cyclic
#