diff options
| -rw-r--r-- | testsuite/tests/basic-float/Makefile | 5 | ||||
| -rw-r--r-- | testsuite/tests/basic-float/float_record.ml (renamed from test/Moretest/float_record.ml) | 0 | ||||
| -rw-r--r-- | testsuite/tests/basic-float/float_record.mli (renamed from test/Moretest/float_record.mli) | 0 | ||||
| -rw-r--r-- | testsuite/tests/basic-float/tfloat_record.ml (renamed from test/Moretest/tfloat_record.ml) | 0 | ||||
| -rw-r--r-- | testsuite/tests/basic-float/tfloat_record.reference | 1 |
5 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/basic-float/Makefile b/testsuite/tests/basic-float/Makefile new file mode 100644 index 000000000..627ed7884 --- /dev/null +++ b/testsuite/tests/basic-float/Makefile @@ -0,0 +1,5 @@ +MODULES=float_record +MAIN_MODULE=tfloat_record + +include ../../makefiles/Makefile.one +include ../../makefiles/Makefile.common diff --git a/test/Moretest/float_record.ml b/testsuite/tests/basic-float/float_record.ml index 98d5323ed..98d5323ed 100644 --- a/test/Moretest/float_record.ml +++ b/testsuite/tests/basic-float/float_record.ml diff --git a/test/Moretest/float_record.mli b/testsuite/tests/basic-float/float_record.mli index 4e5970e39..4e5970e39 100644 --- a/test/Moretest/float_record.mli +++ b/testsuite/tests/basic-float/float_record.mli diff --git a/test/Moretest/tfloat_record.ml b/testsuite/tests/basic-float/tfloat_record.ml index 4d197f5de..4d197f5de 100644 --- a/test/Moretest/tfloat_record.ml +++ b/testsuite/tests/basic-float/tfloat_record.ml diff --git a/testsuite/tests/basic-float/tfloat_record.reference b/testsuite/tests/basic-float/tfloat_record.reference new file mode 100644 index 000000000..d54c6b66b --- /dev/null +++ b/testsuite/tests/basic-float/tfloat_record.reference @@ -0,0 +1 @@ +1. |