summaryrefslogtreecommitdiffstats
path: root/testsuite/tests/typing-misc/wellfounded.ml
AgeCommit message (Expand)Author
2015-02-05Fix PR#6768: Typechecker overflow the stack on cyclic typeJacques Garrigue