From a73d00fa6afceb7f8955c7888c04294f6b21f5b8 Mon Sep 17 00:00:00 2001 From: daanx Date: Sat, 13 Jan 2024 17:06:30 -0800 Subject: [PATCH] bump version to v3.0.1 --- doc/spec/news.mdk | 2 +- readme.md | 3 ++- support/vscode/koka.language-koka/package.json | 2 +- util/install.bat | 2 +- util/install.sh | 2 +- util/minbuild.sh | 2 +- whatsnew.md | 4 +--- 7 files changed, 8 insertions(+), 9 deletions(-) diff --git a/doc/spec/news.mdk b/doc/spec/news.mdk index 852c3a296..b4d90c8ac 100644 --- a/doc/spec/news.mdk +++ b/doc/spec/news.mdk @@ -1,7 +1,7 @@ ~ begin news News: -* 2024-01-13: Koka v3.0.0 released with improved VS Code integration and inlay hints. Initial support for +* 2024-01-13: Koka v3.0.1 released with improved VS Code integration and inlay hints. Initial support for locally qualified names and implicit parameters (see the `samples/syntax`). Various small bug fixes. * 2023-12-30: Koka v2.6.0 released with VS Code language integration with type information, jump to definition, diff --git a/readme.md b/readme.md index e61f38289..49d7ce50f 100644 --- a/readme.md +++ b/readme.md @@ -10,7 +10,7 @@ _Koka v2 is a research language that currently under heavy development with the new C backend_ -_Latest release_: v3.0.0, 2024-01-13 ([Install]). +_Latest release_: v3.0.1, 2024-01-13 ([Install]). @@ -83,6 +83,7 @@ and all previous interns working on earlier versions of Koka: Daniel Hillerströ ## Recent Releases +* `v3.0.1`, 2024-01-13: small bug fixes in expression evaluation, and fixes a locale error on macOS. * `v3.0.0`, 2024-01-13: improved vs code language support with inlay-hints. New locally qualified names, and initial support for implicit parameters. Samples can be found in `samples/syntax`. Various bug fixes. diff --git a/support/vscode/koka.language-koka/package.json b/support/vscode/koka.language-koka/package.json index c501c793e..68315773b 100644 --- a/support/vscode/koka.language-koka/package.json +++ b/support/vscode/koka.language-koka/package.json @@ -3,7 +3,7 @@ "displayName": "Koka Language", "description": "The official Koka programming language extension.", "version": "3.0.1", - "compilerVersion": "3.0.0", + "compilerVersion": "3.0.1", "publisher": "koka", "engines": { "vscode": ">=1.85.0" diff --git a/util/install.bat b/util/install.bat index f6e353de0..7705aec94 100644 --- a/util/install.bat +++ b/util/install.bat @@ -4,7 +4,7 @@ rem Installation script for Koka; use -h to see command line options. rem ------------------------------------------------------------------ setlocal -set KOKA_VERSION=v3.0.0 +set KOKA_VERSION=v3.0.1 set KOKA_PREFIX=%LOCALAPPDATA%\koka set KOKA_UNINSTALL=N set KOKA_HELP=N diff --git a/util/install.sh b/util/install.sh index d8ca99da8..c8b693b94 100755 --- a/util/install.sh +++ b/util/install.sh @@ -4,7 +4,7 @@ # Installation script for Koka; use -h to see command line options. #----------------------------------------------------------------------------- -VERSION="v3.0.0" +VERSION="v3.0.1" MODE="install" # or uninstall PREFIX="/usr/local" QUIET="" diff --git a/util/minbuild.sh b/util/minbuild.sh index b91a33dc4..0ee347d9d 100755 --- a/util/minbuild.sh +++ b/util/minbuild.sh @@ -5,7 +5,7 @@ # For use on platforms where stack is not working and to document # the minimal needed commands to build the full compiler. -KOKA_VERSION=3.0.0 +KOKA_VERSION=3.0.1 KOKA_VARIANT=release echo "" diff --git a/whatsnew.md b/whatsnew.md index 6f6352f0a..3cbc3b5a2 100644 --- a/whatsnew.md +++ b/whatsnew.md @@ -11,9 +11,7 @@ generating direct C code without needing a runtime system. To learn more: and running the `Koka: Open samples` command. (when you start typing the command will surface to the top). -### v3.0.1, development - -### v3.0.0, 2024-01-13: +### v3.0.1, 2024-01-13: