diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-06-06 23:49:35 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-06-06 23:49:35 +0000 |
| commit | 4a47348322ef9d4572523b683283344fbd6d25b5 (patch) | |
| tree | 4c3d3c98cec2cb7073278995968c6e175ff6b90d | |
| parent | 0784f6fc4f7419dbb69c2f61534ec92d71bdcf81 (diff) | |
| download | ocaml-4a47348322ef9d4572523b683283344fbd6d25b5.tar.gz | |
add test for a camlp4 regression
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@11075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
3 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/regression-camlp4-class-type-plus/Makefile b/testsuite/tests/regression-camlp4-class-type-plus/Makefile new file mode 100644 index 0000000000..4cee154bc2 --- /dev/null +++ b/testsuite/tests/regression-camlp4-class-type-plus/Makefile @@ -0,0 +1,5 @@ +ADD_COMPFLAGS = -pp 'camlp4o' +MAIN_MODULE = camlp4_class_type_plus + +include ../../makefiles/Makefile.one +include ../../makefiles/Makefile.common diff --git a/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.ml b/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.ml new file mode 100644 index 0000000000..79ba26d82e --- /dev/null +++ b/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.ml @@ -0,0 +1,9 @@ +type t;; +type xdr_value;; + +class type [ 't ] engine = object +end;; + +module type T = sig +class unbound_async_call : t -> [xdr_value] engine;; +end;; diff --git a/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.reference b/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.reference new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/testsuite/tests/regression-camlp4-class-type-plus/camlp4_class_type_plus.reference |