diff options
author | Jeremy Yallop <yallop@gmail.com> | 2017-01-02 15:18:44 +0000 |
---|---|---|
committer | Jeremy Yallop <yallop@gmail.com> | 2017-09-25 14:57:23 +0100 |
commit | 005c4894eb41fd88af2961563a0eb37cb19ccfaa (patch) | |
tree | b2773d8bcfdd71a1f20d654854b2110a3ce59b2c | |
parent | e9c10c3bcf7fbbfe204b4573b9213b377a0343a8 (diff) | |
download | ocaml-005c4894eb41fd88af2961563a0eb37cb19ccfaa.tar.gz |
let-rec check (tests): an unboxed record is not a guard
-rw-r--r-- | testsuite/tests/letrec-disallowed/unboxed.ml | 2 | ||||
-rw-r--r-- | testsuite/tests/letrec-disallowed/unboxed.ml.reference | 7 |
2 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/letrec-disallowed/unboxed.ml b/testsuite/tests/letrec-disallowed/unboxed.ml new file mode 100644 index 0000000000..f967a4f0d9 --- /dev/null +++ b/testsuite/tests/letrec-disallowed/unboxed.ml @@ -0,0 +1,2 @@ +type t = {x: int64} [@@unboxed];; +let rec x = {x = y} and y = 3L;; diff --git a/testsuite/tests/letrec-disallowed/unboxed.ml.reference b/testsuite/tests/letrec-disallowed/unboxed.ml.reference new file mode 100644 index 0000000000..891fc86a5d --- /dev/null +++ b/testsuite/tests/letrec-disallowed/unboxed.ml.reference @@ -0,0 +1,7 @@ + +# type t = { x : int64; } [@@unboxed] +# Characters 12-19: + let rec x = {x = y} and y = 3L;; + ^^^^^^^ +Error: This kind of expression is not allowed as right-hand side of `let rec' +# |