Open lpw25 opened 8 years ago
This patch switches to a tuple-style syntax for matching effects. Replacing:
match ... with | effect A k -> | effect (B x) k -> | effect (C(x, y)) k ->
with:
match ... with | effect A, k -> ... | effect B x, k -> ... | effect C(x, y), k -> ...
which I think is slightly nicer.
This patch switches to a tuple-style syntax for matching effects. Replacing:
with:
which I think is slightly nicer.