From 845db1e5eacf028bd9dabb1c18c4b5ebfe33470d Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Thu, 11 Apr 2024 10:40:20 +0800 Subject: [PATCH] Added missing v1.7.3 CHANGELOG --- CHANGELOG/v1.7.3.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 CHANGELOG/v1.7.3.md diff --git a/CHANGELOG/v1.7.3.md b/CHANGELOG/v1.7.3.md new file mode 100644 index 0000000000..7226a01e8a --- /dev/null +++ b/CHANGELOG/v1.7.3.md @@ -0,0 +1,18 @@ +Version 1.7.3 +============= + +The library has been tested using Agda 2.6.3 & 2.6.4. + +* To avoid _large indices_ that are by default no longer allowed in Agda 2.6.4, + universe levels have been increased in the following definitions: + - `Data.Star.Decoration.DecoratedWith` + - `Data.Star.Pointer.Pointer` + - `Reflection.AnnotatedAST.Typeₐ` + - `Reflection.AnnotatedAST.AnnotationFun` + +* The following aliases have been added: + - `IO.Primitive.pure` as alias for `IO.Primitive.return` + - modules `Effect.*` as aliases for modules `Category.*` + + These allow to address said objects with the new name they will have in v2.0 of the library, + to ease the transition from v1.7.3 to v2.0.