Skip to content

Commit c2876a1

Browse files
committed
chore: update stage0
1 parent 9f6846a commit c2876a1

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

98 files changed

+104728
-131835
lines changed

stage0/src/runtime/compact.cpp

Lines changed: 5 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/src/runtime/compact.h

Lines changed: 2 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/src/stdlib_flags.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ options get_default_options() {
1111
opts = opts.update({"debug", "terminalTacticsAsSorry"}, false);
1212
// switch to `true` for ABI-breaking changes affecting meta code;
1313
// see also next option!
14-
opts = opts.update({"interpreter", "prefer_native"}, true);
14+
opts = opts.update({"interpreter", "prefer_native"}, false);
1515
// switch to `false` when enabling `prefer_native` should also affect use
1616
// of built-in parsers in quotations; this is usually the case, but setting
1717
// both to `true` may be necessary for handling non-builtin parsers with

stage0/stdlib/Init/Coe.c

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/Array/Lemmas.c

Lines changed: 179 additions & 179 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/List/Basic.c

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/Nat/Div/Basic.c

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/Nat/Lemmas.c

Lines changed: 39 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/ToString/Macro.c

Lines changed: 1 addition & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Init/Data/Vector/Basic.c

Lines changed: 7 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)