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