diff options
Diffstat (limited to 'testsuite/tests/effects/test7.ml')
| -rw-r--r-- | testsuite/tests/effects/test7.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/effects/test7.ml b/testsuite/tests/effects/test7.ml new file mode 100644 index 0000000000..b66749e5c0 --- /dev/null +++ b/testsuite/tests/effects/test7.ml @@ -0,0 +1,11 @@ +(* TEST + *) + +effect E : string + +let _ = + try print_endline @@ "Hello" ^ perform E with + | effect E k -> + let k' = Obj.clone_continuation k in + continue k ""; + continue k' ", again!" |