From d8d86dded538fb503eab413a43ae2829e41f8e15 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 28 Jan 2023 18:54:15 +0900 Subject: v0.10.4 --- Changelog.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 81d2998..967b51e 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,5 +1,20 @@ # Change log +### v0.10.4 (released on 28 January 2023) + +#### Bug fix + +- **A reuse annotation with the abbreviation `<<`**: The abbreviation `<<` could not be parsed with a reuse annotation. It is now fixed, and we can write it as follows: + + ``` + foo(r) >< (int n) + | n == 0 => r~n + | _ => r << (*L)foo(n-1); + // ^ The (*L) setting caused an error in a previous version. + ``` + + + ### v0.10.3 quite minor update (released on 12 January 2023) #### Minor bug fix -- cgit v1.2.3