idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-08-16 16:50:46 +03:00
Code Issues Projects Releases Wiki Activity

Prepare release 0.6.0 (#2733)

Browse Source 
* Prepare release 0.6.0

* Fix bootstrap chez

* Correct version in bootstrap chez
This commit is contained in:
Edwin Brady 2022-10-27 16:32:16 +01:00 committed by GitHub
parent 57c589ca80
commit e125c9014f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
16 changed files with 14049 additions and 12427 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
INSTALL.md
View File

@ -73,7 +73,7 @@ If all is well, to install, type:
### 3: Installing with an existing Idris 2
If you have the latest *released* version of Idris 2
(0.4.0 at the time of writing) installed:
(0.5.1 at the time of writing) installed:
- `make all`
- `make install`

4
Makefile
View File

@ -13,8 +13,8 @@ TARGET = ${TARGETDIR}/${NAME}
IDRIS2_CG ?= chez
MAJOR=0
MINOR=5
PATCH=1
MINOR=6
PATCH=0
GIT_SHA1=
ifeq ($(shell git status >/dev/null 2>&1; echo $$?), 0)

2
Release/CHECKLIST
View File

@ -5,7 +5,7 @@
[ ] Change version number in flake.nix
[ ] Change version number in test pkg010 (TODO: make this step unnecessary!)
[ ] Make sure INSTALL.md gives the correct minimum Idris version
[ ] Update bootstrap chez and racket
[ ] Update bootstrap chez and racket (built with new version)
[ ] Remove __collect_safe from generated chez (to avoid need for chez >9.5)
[ ] Tag on github with version number (in the form vX.Y.Z)
[ ] make libdocs and upload to idris-lang.org

13247
bootstrap/idris2_app/idris2.rkt generated
View File

File diff suppressed because one or more lines are too long

13195
bootstrap/idris2_app/idris2.ss generated
View File

File diff suppressed because one or more lines are too long

2
docs/source/listing/idris-prompt-helloworld.txt
View File

@ -1,7 +1,7 @@
$ idris2 hello.idr
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.5.1
/ // __ / ___/ / ___/ __/ / Version 0.6.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help

2
docs/source/listing/idris-prompt-interp.txt
View File

@ -1,7 +1,7 @@
$ idris2 interp.idr
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.5.1
/ // __ / ___/ / ___/ __/ / Version 0.6.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help

2
docs/source/listing/idris-prompt-start.txt
View File

@ -1,7 +1,7 @@
$ idris2
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.5.1
/ // __ / ___/ / ___/ __/ / Version 0.6.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help

2
flake.nix
View File

@ -10,7 +10,7 @@
outputs = { self, nixpkgs, flake-utils, idris-emacs-src }:
let
idris2-version = "0.5.1";
idris2-version = "0.6.0";
lib = import ./nix/lib.nix;
sys-agnostic = rec {
templates.pkg = {

2
idris2api.ipkg
View File

@ -1,5 +1,5 @@
package idris2
version = 0.5.1
version = 0.6.0
modules =
Algebra,

2
libs/base/base.ipkg
View File

@ -1,5 +1,5 @@
package base
version = 0.5.1
version = 0.6.0
opts = "--ignore-missing-ipkg -Wno-shadowing"

2
libs/contrib/contrib.ipkg
View File

@ -1,5 +1,5 @@
package contrib
version = 0.5.1
version = 0.6.0
opts = "--ignore-missing-ipkg -Wno-shadowing"

2
libs/network/network.ipkg
View File

@ -1,5 +1,5 @@
package network
version = 0.5.1
version = 0.6.0
opts = "--ignore-missing-ipkg"

2
libs/prelude/prelude.ipkg
View File

@ -1,5 +1,5 @@
package prelude
version = 0.5.1
version = 0.6.0
opts = "--ignore-missing-ipkg --no-prelude"

2
libs/test/test.ipkg
View File

@ -1,5 +1,5 @@
package test
version = 0.5.1
version = 0.6.0
opts = "--ignore-missing-ipkg"

6
tests/idris2/pkg010/expected.in
View File

@ -1,4 +1,4 @@
1/1: Building Main (Main.idr)
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
Installing package file for testpkg to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0
Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0
Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0
Installing package file for testpkg to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0