Skip to content

Commit 5fc7470

Browse files
author
Lean stage0 autoupdater
committed
chore: update stage0
1 parent 03aeb71 commit 5fc7470

15 files changed

Lines changed: 102586 additions & 102840 deletions

File tree

‎stage0/src/stdlib_flags.h‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
#include "util/options.h"
22

3-
// Dear CI, please update stage0
4-
53
namespace lean {
64
options get_default_options() {
75
options opts;

‎stage0/stdlib/Lake/CLI/Main.c‎

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

‎stage0/stdlib/Lake/Load/Manifest.c‎

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

‎stage0/stdlib/Lake/Load/Materialize.c‎

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

‎stage0/stdlib/Lake/Load/Toml.c‎

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

‎stage0/stdlib/Lake/Reservoir.c‎

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

‎stage0/stdlib/Lake/Util/Version.c‎

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

‎stage0/stdlib/Lean/Compiler/LCNF/Irrelevant.c‎

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

‎stage0/stdlib/Lean/Compiler/LCNF/Main.c‎

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

‎stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c‎

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

0 commit comments

Comments
 (0)