summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2011-06-06 23:22:43 +0000
committerDamien Doligez <damien.doligez-inria.fr>2011-06-06 23:22:43 +0000
commit0784f6fc4f7419dbb69c2f61534ec92d71bdcf81 (patch)
tree9372d10a82ca4dfd2005c484d152a9fc0cae90a6
parented4e0927dba3c562f5376f9473fd3243fde19ce5 (diff)
downloadocaml-0784f6fc4f7419dbb69c2f61534ec92d71bdcf81.tar.gz
add regression test for commit 11070
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@11074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--testsuite/tests/regression-pr5080-notes/Makefile5
-rw-r--r--testsuite/tests/regression-pr5080-notes/pr5080_notes.ml4
-rw-r--r--testsuite/tests/regression-pr5080-notes/pr5080_notes.reference0
3 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/regression-pr5080-notes/Makefile b/testsuite/tests/regression-pr5080-notes/Makefile
new file mode 100644
index 0000000000..4c0e3e3646
--- /dev/null
+++ b/testsuite/tests/regression-pr5080-notes/Makefile
@@ -0,0 +1,5 @@
+ADD_COMPFLAGS = -pp 'camlp4o pa_macro.cmo'
+MAIN_MODULE = pr5080_notes
+
+include ../../makefiles/Makefile.one
+include ../../makefiles/Makefile.common
diff --git a/testsuite/tests/regression-pr5080-notes/pr5080_notes.ml b/testsuite/tests/regression-pr5080-notes/pr5080_notes.ml
new file mode 100644
index 0000000000..175bc8b743
--- /dev/null
+++ b/testsuite/tests/regression-pr5080-notes/pr5080_notes.ml
@@ -0,0 +1,4 @@
+let marshal_int f =
+ match [] with
+ | _ :: `INT n :: _ -> f n
+ | _ -> failwith "marshal_int"
diff --git a/testsuite/tests/regression-pr5080-notes/pr5080_notes.reference b/testsuite/tests/regression-pr5080-notes/pr5080_notes.reference
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/regression-pr5080-notes/pr5080_notes.reference