diff options
Diffstat (limited to 'testsuite/tests/letrec-check/pr7231.ml')
| -rw-r--r-- | testsuite/tests/letrec-check/pr7231.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/testsuite/tests/letrec-check/pr7231.ml b/testsuite/tests/letrec-check/pr7231.ml index b2ddf3c2b3..7625e4df99 100644 --- a/testsuite/tests/letrec-check/pr7231.ml +++ b/testsuite/tests/letrec-check/pr7231.ml @@ -1,5 +1,9 @@ -(* TEST - * toplevel +(* TEST_BELOW +(* Blank lines added here to preserve locations. *) *) let rec r = let rec x () = r and y () = x () in y () in r "oops";; + +(* TEST + toplevel; +*) |