chore: update stage0
This commit is contained in:
parent
d56424b587
commit
7f424b371e
4 changed files with 20357 additions and 19930 deletions
|
|
@ -11,7 +11,7 @@ options get_default_options() {
|
|||
opts = opts.update({"debug", "terminalTacticsAsSorry"}, false);
|
||||
// switch to `true` for ABI-breaking changes affecting meta code;
|
||||
// see also next option!
|
||||
opts = opts.update({"interpreter", "prefer_native"}, true);
|
||||
opts = opts.update({"interpreter", "prefer_native"}, false);
|
||||
// switch to `false` when enabling `prefer_native` should also affect use
|
||||
// of built-in parsers in quotations; this is usually the case, but setting
|
||||
// both to `true` may be necessary for handling non-builtin parsers with
|
||||
|
|
|
|||
7270
stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c
generated
7270
stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c
generated
File diff suppressed because it is too large
Load diff
28925
stage0/stdlib/Lean/Compiler/LCNF/Specialize.c
generated
28925
stage0/stdlib/Lean/Compiler/LCNF/Specialize.c
generated
File diff suppressed because it is too large
Load diff
4090
stage0/stdlib/Lean/Compiler/Specialize.c
generated
4090
stage0/stdlib/Lean/Compiler/Specialize.c
generated
File diff suppressed because it is too large
Load diff
Loading…
Add table
Reference in a new issue