diff options
Diffstat (limited to 'testsuite/tests/letrec/evaluation_order_3.ml')
| -rw-r--r-- | testsuite/tests/letrec/evaluation_order_3.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/letrec/evaluation_order_3.ml b/testsuite/tests/letrec/evaluation_order_3.ml new file mode 100644 index 0000000000..8f76a8f858 --- /dev/null +++ b/testsuite/tests/letrec/evaluation_order_3.ml @@ -0,0 +1,11 @@ +type t = { x : t; y : t } + +let p = print_endline + +let test = + let rec x = p "x"; { x = (p "x_x"; x); y = (p "x_y"; y) } + and y = p "y"; { x = (p "y_x"; x); y = (p "y_y"; y) } + in + assert (x.x == x); assert (x.y == y); + assert (y.x == x); assert (y.y == y); + () |