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