diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-08 10:57:30 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-19 15:41:15 +0100 |
| commit | 1f8ae6e018f36aefe7be2c00417c7193c4adc4df (patch) | |
| tree | be26d3d222d29c6d8bc9f60691f591e94f602c4b /testsuite/tests/asmcomp/register_typing.ml | |
| parent | 59a8d4d1be613eb20080abd00ce61f599d1dc679 (diff) | |
| download | ocaml-1f8ae6e018f36aefe7be2c00417c7193c4adc4df.tar.gz | |
Migrate the asmcomp tests to ocamltest
Before this commit, the tests in this directory were skipped if
Spacetime was enabled.
However it seems the tests pass even when Spacetime is enabled, so after
this commit, the tests are run no matter whether spacetime is enabled or not.
Diffstat (limited to 'testsuite/tests/asmcomp/register_typing.ml')
| -rw-r--r-- | testsuite/tests/asmcomp/register_typing.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/asmcomp/register_typing.ml b/testsuite/tests/asmcomp/register_typing.ml index 9d55d29ba0..af8501c196 100644 --- a/testsuite/tests/asmcomp/register_typing.ml +++ b/testsuite/tests/asmcomp/register_typing.ml @@ -1,3 +1,7 @@ +(* TEST + * native +*) + type 'a typ = Int : int typ | Ptr : int list typ let f (type a) (t : a typ) (p : int list) : a = |