From b3e2032cb4560dbb14e86ad4d7edf9d9c943cad5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Videla?= Date: Fri, 15 Mar 2024 22:10:26 +0000 Subject: [PATCH] update changelog --- CHANGELOG_NEXT.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md index 800eb9fd01..3508dcf5ac 100644 --- a/CHANGELOG_NEXT.md +++ b/CHANGELOG_NEXT.md @@ -30,6 +30,8 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO customise the syntax of operator to look more like a binder. See [#3113](https://github.com/idris-lang/Idris2/issues/3113). +* Unlabelled fixity declarations now emit a warning. + ### Backend changes #### RefC