Version increment to 0.5.1 (#1939)

This is to remove the requirement on Chez >9.5
idris-lang · Sep 19, 2021 · 1e90182 · 1e90182
1 parent 87c1cb6
commit 1e90182
Show file tree

Hide file tree

Showing 14 changed files with 1,258 additions and 1,264 deletions.
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ IDRIS2_CG ?= chez
 
 MAJOR=0
 MINOR=5
-PATCH=0
+PATCH=1
 
 GIT_SHA1=
 ifeq ($(shell git status >/dev/null 2>&1; echo $$?), 0)

diff --git a/bootstrap/idris2_app/idris2.rkt b/bootstrap/idris2_app/idris2.rkt
diff --git a/bootstrap/idris2_app/idris2.ss b/bootstrap/idris2_app/idris2.ss
diff --git a/docs/source/listing/idris-prompt-helloworld.txt b/docs/source/listing/idris-prompt-helloworld.txt
@@ -1,7 +1,7 @@
 $ idris2 hello.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.0
+    / // __  / ___/ / ___/   __/ /     Version 0.5.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-interp.txt b/docs/source/listing/idris-prompt-interp.txt
@@ -1,7 +1,7 @@
 $ idris2 interp.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.0
+    / // __  / ___/ / ___/   __/ /     Version 0.5.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-start.txt b/docs/source/listing/idris-prompt-start.txt
@@ -1,7 +1,7 @@
 $ idris2
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.0
+    / // __  / ___/ / ___/   __/ /     Version 0.5.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/flake.nix b/flake.nix
@@ -11,7 +11,7 @@
 
   outputs = { self, nixpkgs, nixpkgs-chez-racket, flake-utils, idris-emacs-src }:
     let
-      idris2-version = "0.5.0";
+      idris2-version = "0.5.1";
       lib = import ./nix/lib.nix;
       sys-agnostic = rec {
         templates.pkg = {

diff --git a/idris2api.ipkg b/idris2api.ipkg
@@ -1,5 +1,5 @@
 package idris2
-version = 0.5.0
+version = 0.5.1
 
 modules =
     Algebra,

diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
@@ -1,5 +1,5 @@
 package base
-version = 0.5.0
+version = 0.5.1
 
 opts = "--ignore-missing-ipkg -Wno-shadowing"
 

diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
@@ -1,5 +1,5 @@
 package contrib
-version = 0.5.0
+version = 0.5.1
 
 opts = "--ignore-missing-ipkg -Wno-shadowing"
 

diff --git a/libs/network/network.ipkg b/libs/network/network.ipkg
@@ -1,5 +1,5 @@
 package network
-version = 0.5.0
+version = 0.5.1
 
 opts = "--ignore-missing-ipkg -p contrib"
 

diff --git a/libs/prelude/prelude.ipkg b/libs/prelude/prelude.ipkg
@@ -1,5 +1,5 @@
 package prelude
-version = 0.5.0
+version = 0.5.1
 
 opts = "--ignore-missing-ipkg --no-prelude"
 

diff --git a/libs/test/test.ipkg b/libs/test/test.ipkg
@@ -1,5 +1,5 @@
 package test
-version = 0.5.0
+version = 0.5.1
 
 depends = contrib
 

diff --git a/tests/idris2/pkg010/expected.in b/tests/idris2/pkg010/expected.in
@@ -1,3 +1,3 @@
 1/1: Building Main (Main.idr)
-Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.0/testpkg-0
-Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.0/testpkg-0
+Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0
+Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0