summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-04-07 13:03:32 +0000
committerAlain Frisch <alain@frisch.fr>2014-04-07 13:03:32 +0000
commit8da19ea098b270230a9f1e1d252350bd69cbf8ee (patch)
treee2a788a73863d137980c5e6853305838a03377ca
parente90f525167698c3492fb1c2ff703fcef92d879d9 (diff)
downloadocaml-constructors_with_record2.tar.gz
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--testsuite/tests/typing-recordarg/recordarg.ml.reference8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typing-recordarg/recordarg.ml.reference b/testsuite/tests/typing-recordarg/recordarg.ml.reference
new file mode 100644
index 0000000000..96198167ae
--- /dev/null
+++ b/testsuite/tests/typing-recordarg/recordarg.ml.reference
@@ -0,0 +1,8 @@
+
+# module M :
+ sig
+ type 'a t = A of { x : 'a; } | B : { u : 'b; } -> unit t
+ exception Foo of { x : int; }
+ end
+# module N : sig exception Foo of { x : int; } end
+#