Skip to content

Commit e9c582c

Browse files
committed
chore: update stage0
1 parent b7eab83 commit e9c582c

Some content is hidden

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

103 files changed

+32509
-22365
lines changed

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/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/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)