diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2019-04-02 15:42:01 +0100 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2019-04-16 10:56:05 +0100 |
commit | 08bf0e81b32c2c46ba6b80f848bbc159a7d8d3a7 (patch) | |
tree | 95979207a31907cb3ea175dbe3d35130ab764595 /testsuite/tests/typing-misc/ocamltests | |
parent | 8ee36fe2dbeb8c90447402bffa4e72ae77bc3bc5 (diff) | |
download | ocaml-08bf0e81b32c2c46ba6b80f848bbc159a7d8d3a7.tar.gz |
pr8548: add regression tests
Diffstat (limited to 'testsuite/tests/typing-misc/ocamltests')
-rw-r--r-- | testsuite/tests/typing-misc/ocamltests | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests index 4e62195d5d..6d4e684a1b 100644 --- a/testsuite/tests/typing-misc/ocamltests +++ b/testsuite/tests/typing-misc/ocamltests @@ -16,6 +16,8 @@ pr7103.ml pr7228.ml pr7668_bad.ml pr7937.ml +pr8548.ml +pr8548_split.ml gpr2277.ml printing.ml records.ml |