diff options
| -rw-r--r-- | testsuite/tests/typing-recordarg/recordarg.ml.reference | 8 |
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 000000000..96198167a --- /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 +# |