diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-01-28 18:57:06 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2023-01-28 18:57:06 +0900 |
| commit | 6aebdb1112dfe6543713aa0028c0a818bed1bae1 (patch) | |
| tree | c102e33319ccd27ceebba8c8d7e242c0c8dbe3af /Changelog.md | |
| parent | 2c60347f5bd9f63a9669c5183d3005410252db4f (diff) | |
| parent | a7d48eb8255c59542d70ae2dce670ad684976724 (diff) | |
| download | inpla-6aebdb1112dfe6543713aa0028c0a818bed1bae1.tar.gz inpla-6aebdb1112dfe6543713aa0028c0a818bed1bae1.zip | |
Merge branch 'develop'
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..57b90c8 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 a parse error in a previous version. + ``` + + + ### v0.10.3 quite minor update (released on 12 January 2023) #### Minor bug fix |