From da66771bdf53b1c3d80b3a2300663ce30cb5af52 Mon Sep 17 00:00:00 2001 From: Yann Hamdaoui Date: Wed, 17 May 2023 13:40:09 +0200 Subject: [PATCH] Add text for 1.0 release --- RELEASES.md | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index d11f92f385..b403133259 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,7 +1,16 @@ -Version 1.0 (pending) -===================== - -This is WIP, registering breaking changes for the next major version. +Version 1.0 +=========== + +This is the 1.0 release! The syntax and the semantics of the core language have +been stabilized and shouldn't evolve as much in the future. + +- The core semantics of the language have been reworked and stabilized, in + particular (but not limited to) merging, types and contracts with the + implementation of RFC005 +- The stdlib has been augmented with many new functions +- Parts of the syntax and some builtin symobls (types, stdlib functions, and so + on) have been improved and made consistent +- New features for the LSP, and in particular code completion Breaking changes ----------------