diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-01-28 18:54:15 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2023-01-28 18:54:15 +0900 |
| commit | d8d86dded538fb503eab413a43ae2829e41f8e15 (patch) | |
| tree | fa86100fc67444d5d8ae1b4785f4bede8b973045 /Changelog.md | |
| parent | 47df25063a7994b586b4171b52d6eaa61ba9262d (diff) | |
| download | inpla-d8d86dded538fb503eab413a43ae2829e41f8e15.tar.gz inpla-d8d86dded538fb503eab413a43ae2829e41f8e15.zip | |
v0.10.4
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 15 |
1 files changed, 15 insertions, 0 deletions
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 |
