Build History for branch/effect-syntax

Suppress unused type declaration warning for %eff

Update Changes entry

Update Changes entry

Whitespace changes

Merge pull request #4 from Octachron/effect-syntax-nonlinear-patterns Effect syntax: error on nonlinear patterns in effect cases

Merge pull request #3 from Octachron/effect-syntax-newtype Effect syntax: use Ctype.new_local_type

Move is_evaluated to lambda

Fix tests to handle trunk changes

Disallow continuations in pattern guards. Originally fixed in https://github.com/ocaml-multicore/ocaml-multicore/pull/205.

Removed unused constructors

Fix pretty-printer for effect handler construct. Include a comma between the effect and the continuation.

Prune long lines

Use new predefined types in the standard library. Promote menhir.

Bootstrap.

Added Changes entry

Added Changes entry

Update testsuite/tests/effect-syntax/coroutines.ml Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com>

Update lambda/translcore.ml Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com>

Update lambda/translcore.ml Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com>

tests/effect-syntax/coroutines.ml: use an exception for termination So that we test a mixture of effect and exception handling.

Remove empty test

Use syntax for effect declaration in effect-syntax tests

Update effect syntax to handle the new continuation representation

Update effect syntax to handle the new continuation representation

Update effect syntax to handle the new continuation representation

Update effect syntax to handle the new continuation representation

More examples of effect handling using the new syntax

Tests for effects using the `match ... with effect E,k -> ...` syntax The tests are taken from tests/effects/ but use the new syntax.