diff options
author | David Allsopp <david.allsopp@metastack.com> | 2017-01-29 12:50:39 +0000 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2017-06-16 11:18:49 +0200 |
commit | 563ae284a463388fa36506b866266b05874880a5 (patch) | |
tree | 5571af5cfb19cab15eba45c2c4a00b40688e9936 /testsuite/tests/typing-extensions | |
parent | 8d3a91d5655015fe1d9b2b41c3f9d9da3bf5ce98 (diff) | |
download | ocaml-563ae284a463388fa36506b866266b05874880a5.tar.gz |
Ensure testsuite works with OCAMLRUNPARAM=b
Ensure that tests which analyse exception messages explicitly disable
backtrace printing.
Diffstat (limited to 'testsuite/tests/typing-extensions')
4 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/typing-extensions/cast.ml b/testsuite/tests/typing-extensions/cast.ml index 855f4df76c..1efcfd5090 100644 --- a/testsuite/tests/typing-extensions/cast.ml +++ b/testsuite/tests/typing-extensions/cast.ml @@ -1,3 +1,5 @@ +(* Ignore OCAMLRUNPARAM=b to be reproducible *) +Printexc.record_backtrace false;; (* By using two types we can have a recursive constraint *) type 'a class_name = .. constraint 'a = < cast: 'a. 'a name -> 'a; ..> diff --git a/testsuite/tests/typing-extensions/cast.ml.reference b/testsuite/tests/typing-extensions/cast.ml.reference index 468a7c9454..3478d60fab 100644 --- a/testsuite/tests/typing-extensions/cast.ml.reference +++ b/testsuite/tests/typing-extensions/cast.ml.reference @@ -1,4 +1,5 @@ +# - : unit = () # type 'b class_name = .. constraint 'b = < cast : 'a. 'a name -> 'a; .. > and 'a name = Class : 'a class_name -> (< cast : 'a0. 'a0 name -> 'a0; .. > as 'a) name diff --git a/testsuite/tests/typing-extensions/extensions.ml b/testsuite/tests/typing-extensions/extensions.ml index edb14c8b22..f6d6c9005b 100644 --- a/testsuite/tests/typing-extensions/extensions.ml +++ b/testsuite/tests/typing-extensions/extensions.ml @@ -1,3 +1,5 @@ +(* Ignore OCAMLRUNPARAM=b to be reproducible *) +Printexc.record_backtrace false;; type foo = .. ;; diff --git a/testsuite/tests/typing-extensions/extensions.ml.reference b/testsuite/tests/typing-extensions/extensions.ml.reference index bd814df8a3..ea2cfb8cd2 100644 --- a/testsuite/tests/typing-extensions/extensions.ml.reference +++ b/testsuite/tests/typing-extensions/extensions.ml.reference @@ -1,4 +1,5 @@ +# - : unit = () # type foo = .. # type foo += A | B of int # val is_a : foo -> bool = <fun> |