bump version to v3.0.1

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,

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]).
 
 <a href="https://koka-lang.github.io/koka/doc/book.html#why-handlers"><img align="right" width="300" src="doc/snippet-yield.png" /></a>
 
@@ -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.

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"

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

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=""

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 ""

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:
 
 <img style="float:right; height:18em; border:1px solid gray; margin:1ex" src="images/impliciteq.png">