From c3fcb57ff9151b5088029c83446b29d0626b4922 Mon Sep 17 00:00:00 2001
From: Frank Emrich <git@emrich.io>
Date: Mon, 9 Oct 2023 16:25:41 +0100
Subject: [PATCH] Add changed syntax for handlers to CHANGES.md

---
 CHANGES.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 4535b8d01..f8287313d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -9,6 +9,25 @@ The result of grouping over a relation is represented as a finite map, which in
 
 Further information on this feature is provided in the [Links GitHub wiki](https://github.com/links-lang/links/wiki/Grouping-and-aggregation).
 
+## New syntax for handlers
+
+The syntax for handlers has changed. Instead of
+```
+handle (...) {
+  case Op(params, resumption) -> ...
+  case Return(x) -> x
+}
+```
+we write
+```
+handle (...) {
+  case <Op(params) => resumption> -> ...
+  case x -> x
+}
+```
+
+We can also write `case <Op(params) -> resumption> -> ...`. For now, the semantics for `->` and `=>` are the same.
+
 ## Other changes and fixes
 * The package `links-mysql`, based on the `mysql` opam package is no
   longer supported. Instead, the package `links-mysql8`, based on the