diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-08-28 17:04:59 +0100 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-09-21 11:46:20 -0400 |
commit | c39605d0716b82bb6718eb32e522f289e6cb5ee2 (patch) | |
tree | e1573283897391a4d8c76d063547d0a892e2fbeb /testsuite/tests/typing-misc/ocamltests | |
parent | 4d3e4d2b92a8d9db18f1b6906957456e3710f61f (diff) | |
download | ocaml-c39605d0716b82bb6718eb32e522f289e6cb5ee2.tar.gz |
add some test
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 5bad7b5f4c..f1db9c4c06 100644 --- a/testsuite/tests/typing-misc/ocamltests +++ b/testsuite/tests/typing-misc/ocamltests @@ -15,6 +15,7 @@ pr7228.ml pr7668_bad.ml printing.ml records.ml +scope_escape.ml unique_names_in_unification.ml variant.ml wellfounded.ml |