diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-19 08:23:12 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-19 09:13:15 +0100 |
commit | b7184e017e016ffaca38244d02bbb252a5e005e6 (patch) | |
tree | ddca2b28f7e76722c5dce27607a5787255c0e33f /ocamltest/ocaml_backends.ml | |
parent | 42ff6e44b2f3a756a6af2b19f490b3b91572eee4 (diff) | |
download | ocaml-b7184e017e016ffaca38244d02bbb252a5e005e6.tar.gz |
ocamltest: complete and clarify support for runtime flags
Diffstat (limited to 'ocamltest/ocaml_backends.ml')
-rw-r--r-- | ocamltest/ocaml_backends.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ocamltest/ocaml_backends.ml b/ocamltest/ocaml_backends.ml index 5522206368..71e75a49eb 100644 --- a/ocamltest/ocaml_backends.ml +++ b/ocamltest/ocaml_backends.ml @@ -17,6 +17,10 @@ type t = Native | Bytecode +let is_bytecode t = t=Bytecode + +let is_native t = t=Native + let string_of_backend = function | Native -> "native" | Bytecode -> "bytecode" |