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

[ rc ] 0.7.0-rc2

Browse Source 
Incorporates #3165, #3166, and #3169
This commit is contained in:
Thomas E. Hansen 2023-12-22 13:02:50 +01:00 committed by CodingCellist
parent 124a31243a
commit 84010c9a55
3 changed files with 5096 additions and 5102 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Release/CHECKLIST
View File

@ -14,7 +14,7 @@
release version, leaving the next "Next version" blank.
[x] Update bootstrap chez and racket (built with new version)
[x] Compile Idris2 with the appropriate CG
[x] Copy the resulting files from idris2 to bootstrap/idris2_app/
[x] Copy the resulting files from build/ to bootstrap/idris2_app/
[x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as the
string "__PREFIX__" rather than your local prefix
[x] Remove __collect_safe from generated chez (to avoid need for chez >9.5)

5099
bootstrap/idris2_app/idris2.rkt generated
View File

File diff suppressed because one or more lines are too long

5097
bootstrap/idris2_app/idris2.ss generated
View File

File diff suppressed because one or more lines are too long