diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-03-15 10:25:26 +0000 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-03-15 13:05:26 +0000 |
commit | e3d36417f3c969007cd3d146adb7b7465d56743c (patch) | |
tree | ae1928c26442f55f14d3d3c900c7028d2c4a6ea6 /testsuite/tests/typing-misc/ocamltests | |
parent | 69fb40bb55bcf313d1a6137e90ea81e99669d38f (diff) | |
download | ocaml-e3d36417f3c969007cd3d146adb7b7465d56743c.tar.gz |
add a bunch of tests
Diffstat (limited to 'testsuite/tests/typing-misc/ocamltests')
-rw-r--r-- | testsuite/tests/typing-misc/ocamltests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests index 461a301a34..a5ef6b03bc 100644 --- a/testsuite/tests/typing-misc/ocamltests +++ b/testsuite/tests/typing-misc/ocamltests @@ -1,4 +1,5 @@ constraints.ml +disambiguate_principality.ml labels.ml occur_check.ml polyvars.ml |