From 0c2c7e0ed6869ef29d95509c4bb2815816202231 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Tue, 14 Jan 2020 14:28:07 +0100
Subject: [PATCH] Changelog for pattern-matching lets

---
 CHANGELOG.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3e2b88d..a25f704 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -20,6 +20,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     function somes(xs : list(option('a))) : list('a) =
       [ x | Some(x) <- xs ]
   ```
+- Allow pattern matching in let-bindings (aborting on match failures):
+  ```
+    function test(m : map(int, int)) =
+        let Some(x) = Map.lookup(m, 0)
+        x
+  ```
 ### Changed
 - FATE code generator improvements.
 ### Removed