Bump version to 0.3.2 🎉

anoma · Apr 18, 2023 · a927794 · a927794
1 parent 2c98319
commit a927794
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 9 deletions.
diff --git a/README.md b/README.md
@@ -9,14 +9,20 @@
 <tr>
 <td>
 
-[![The Juvix compiler CI](https://github.com/anoma/juvix/actions/workflows/ci.yml/badge.svg)](https://github.com/anoma/juvix/actions/workflows/ci.yml)
+<a
+href="https://github.com/anoma/juvix/actions/workflows/ci.yml"><img
+src="https://github.com/anoma/juvix/actions/workflows/ci.yml/badge.svg"
+alt="The Juvix compiler CI" /></a>
 
 </td>
 </tr>
 <tr>
 <td>
 
-[![Nightly build, release and benchmark](https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml/badge.svg)](https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml)
+<a
+href="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml"><img
+src="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml/badge.svg"
+alt="Nightly build, release and benchmark" /></a>
 
 </td>
 </tr>

diff --git a/docs/howto/installing.md b/docs/howto/installing.md
@@ -55,9 +55,9 @@ Juvix as follows:
 
 ```shell
 cd /tmp
-curl -OL https://github.com/anoma/juvix/releases/download/v0.3.1/juvix-linux_x86_64-v0.3.1.zip
-unzip juvix-linux_x86_64-v0.3.1.zip
-mv juvix-linux_x86_64-v0.3.1 ~/.local/bin/juvix
+curl -OL https://github.com/anoma/juvix/releases/download/v0.3.2/juvix-linux_x86_64-v0.3.2.zip
+unzip juvix-linux_x86_64-v0.3.2.zip
+mv juvix-linux_x86_64-v0.3.2 ~/.local/bin/juvix
 ```
 
 ### Building Juvix from source

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: juvix
-version: 0.3.1
+version: 0.3.2
 license: GPL-3.0-only
 license-file: LICENSE.md
 copyright: (c) 2022- Heliax AG.

diff --git a/tests/positive/issue1731/builtinTrace.juvix b/tests/positive/issue1731/builtinTrace.juvix
@@ -8,7 +8,7 @@ axiom trace : {A : Type} → A → A;
 
 terminating
 f : Nat → Nat → Nat;
-f x y := if (x == 0) y (trace x >>> (f (sub x 1) y));
+f x y := if (x == 0) y (trace x >>> f (sub x 1) y);
 
 {-
 f 4 0 =
@@ -19,6 +19,5 @@ trace 4 >>> f 3 0
 => trace 4 >>> trace 3 >>> trace 2 >>> trace 1 0
 = 0
 -}
-
 main : IO;
 main := printNatLn $ f 4 0;
diff --git a/tests/smoke/Commands/version-help-doctor.smoke.yaml b/tests/smoke/Commands/version-help-doctor.smoke.yaml
@@ -7,7 +7,7 @@ tests:
     stdout:
       matches:
         regex: |-
-          ^Juvix version 0.3.1-([a-f0-9]{7}).*
+          ^Juvix version 0.3.2-([a-f0-9]{7}).*
 
   - name: cli-numeric-version
     command: