From 36e541d7a7e8a415795ce1587d26e05ffaf60041 Mon Sep 17 00:00:00 2001 From: Marc-Antoine Ouimet Date: Mon, 22 Jul 2024 00:14:15 -0400 Subject: [PATCH] Update changelog for `v1.1.2` --- CHANGES.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index d01b4ba46..701289e76 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,16 @@ +## v1.1.2 + +### Added + +- Added C. Sano, R. Kavanagh and B. Pientka's artifact for "Mechanizing Session-Types Using a Structural View" as a case study (#271). + +### Fixed + +- Support postponed fixity pragmas in modules. +- The hole `_` in the LF term `\x._` is parsed as a wildcard instead of as an identifier. +- Shadowed bindings in a module are no longer brought into scope when the module is opened. +- Support postponed fixity pragmas in Harpoon sessions. + ## v1.1.1 ### Added