Update bootstrap scheme

Browse Source

This is needed because the existing version won't build the Prelude
correctly as it doesn't do import...as correctly.

I don't believe this affects Idris2-boot, since it has its own Prelude.

...

This commit is contained in:

Edwin Brady 2020-07-04 22:10:44 +01:00

parent 45a9668370

commit a5c9250524

2 changed files with 10056 additions and 9896 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9994

bootstrap/idris2_app/idris2.rkt

View File

File diff suppressed because one or more lines are too long

9958

bootstrap/idris2_app/idris2.ss

View File

File diff suppressed because one or more lines are too long