From b6decd70f0065e66ffa4183d660ec9d2e92ffbfa Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 24 Aug 2019 07:37:57 -0700 Subject: [PATCH] chore(stage0): update --- src/stage0/CMakeLists.txt | 2 +- src/stage0/init/{coe.cpp => coe.c} | 0 src/stage0/init/control/{alternative.cpp => alternative.c} | 0 src/stage0/init/control/{applicative.cpp => applicative.c} | 0 src/stage0/init/control/{combinators.cpp => combinators.c} | 0 src/stage0/init/control/{conditional.cpp => conditional.c} | 0 src/stage0/init/control/{default.cpp => default.c} | 0 src/stage0/init/control/{estate.cpp => estate.c} | 0 src/stage0/init/control/{except.cpp => except.c} | 0 src/stage0/init/control/{functor.cpp => functor.c} | 0 src/stage0/init/control/{id.cpp => id.c} | 0 src/stage0/init/control/{lift.cpp => lift.c} | 0 src/stage0/init/control/{monad.cpp => monad.c} | 0 src/stage0/init/control/{monadfail.cpp => monadfail.c} | 0 src/stage0/init/control/{option.cpp => option.c} | 0 src/stage0/init/control/{reader.cpp => reader.c} | 0 src/stage0/init/control/{state.cpp => state.c} | 0 src/stage0/init/{core.cpp => core.c} | 0 src/stage0/init/data/array/{basic.cpp => basic.c} | 0 src/stage0/init/data/array/{binsearch.cpp => binsearch.c} | 0 src/stage0/init/data/array/{default.cpp => default.c} | 0 src/stage0/init/data/array/{qsort.cpp => qsort.c} | 0 src/stage0/init/data/{assoclist.cpp => assoclist.c} | 0 src/stage0/init/data/{basic.cpp => basic.c} | 0 src/stage0/init/data/binomialheap/{basic.cpp => basic.c} | 0 src/stage0/init/data/binomialheap/{default.cpp => default.c} | 0 src/stage0/init/data/bytearray/{basic.cpp => basic.c} | 0 src/stage0/init/data/bytearray/{default.cpp => default.c} | 0 src/stage0/init/data/char/{basic.cpp => basic.c} | 0 src/stage0/init/data/char/{default.cpp => default.c} | 0 src/stage0/init/data/{default.cpp => default.c} | 0 src/stage0/init/data/{dlist.cpp => dlist.c} | 0 src/stage0/init/data/fin/{basic.cpp => basic.c} | 0 src/stage0/init/data/fin/{default.cpp => default.c} | 0 src/stage0/init/data/{hashable.cpp => hashable.c} | 0 src/stage0/init/data/hashmap/{basic.cpp => basic.c} | 0 src/stage0/init/data/hashmap/{default.cpp => default.c} | 0 src/stage0/init/data/int/{basic.cpp => basic.c} | 0 src/stage0/init/data/int/{default.cpp => default.c} | 0 src/stage0/init/data/list/{basic.cpp => basic.c} | 0 src/stage0/init/data/list/{default.cpp => default.c} | 0 src/stage0/init/data/list/{instances.cpp => instances.c} | 0 src/stage0/init/data/nat/{basic.cpp => basic.c} | 0 src/stage0/init/data/nat/{bitwise.cpp => bitwise.c} | 0 src/stage0/init/data/nat/{default.cpp => default.c} | 0 src/stage0/init/data/nat/{div.cpp => div.c} | 0 src/stage0/init/data/option/{basic.cpp => basic.c} | 0 src/stage0/init/data/option/{instances.cpp => instances.c} | 0 src/stage0/init/data/persistentarray/{basic.cpp => basic.c} | 0 src/stage0/init/data/persistentarray/{default.cpp => default.c} | 0 src/stage0/init/data/persistenthashmap/{basic.cpp => basic.c} | 0 .../init/data/persistenthashmap/{default.cpp => default.c} | 0 src/stage0/init/data/{random.cpp => random.c} | 0 src/stage0/init/data/rbmap/{basic.cpp => basic.c} | 0 src/stage0/init/data/rbmap/{default.cpp => default.c} | 0 src/stage0/init/data/rbtree/{basic.cpp => basic.c} | 0 src/stage0/init/data/rbtree/{default.cpp => default.c} | 0 src/stage0/init/data/{repr.cpp => repr.c} | 0 src/stage0/init/data/string/{basic.cpp => basic.c} | 0 src/stage0/init/data/string/{default.cpp => default.c} | 0 src/stage0/init/data/{tostring.cpp => tostring.c} | 0 src/stage0/init/data/{uint.cpp => uint.c} | 0 src/stage0/init/{default.cpp => default.c} | 0 src/stage0/init/{fix.cpp => fix.c} | 0 src/stage0/init/lean/{attributes.cpp => attributes.c} | 0 src/stage0/init/lean/{class.cpp => class.c} | 0 .../lean/compiler/{closedtermcache.cpp => closedtermcache.c} | 0 .../init/lean/compiler/{constfolding.cpp => constfolding.c} | 0 src/stage0/init/lean/compiler/{default.cpp => default.c} | 0 src/stage0/init/lean/compiler/{exportattr.cpp => exportattr.c} | 0 src/stage0/init/lean/compiler/{externattr.cpp => externattr.c} | 0 .../compiler/{implementedbyattr.cpp => implementedbyattr.c} | 0 src/stage0/init/lean/compiler/{initattr.cpp => initattr.c} | 0 .../init/lean/compiler/{inlineattrs.cpp => inlineattrs.c} | 0 src/stage0/init/lean/compiler/ir/{basic.cpp => basic.c} | 0 src/stage0/init/lean/compiler/ir/{borrow.cpp => borrow.c} | 0 src/stage0/init/lean/compiler/ir/{boxing.cpp => boxing.c} | 0 src/stage0/init/lean/compiler/ir/{checker.cpp => checker.c} | 0 src/stage0/init/lean/compiler/ir/{compilerm.cpp => compilerm.c} | 0 src/stage0/init/lean/compiler/ir/{default.cpp => default.c} | 0 src/stage0/init/lean/compiler/ir/{elimdead.cpp => elimdead.c} | 0 src/stage0/init/lean/compiler/ir/{emitc.cpp => emitc.c} | 0 src/stage0/init/lean/compiler/ir/{emitcpp.cpp => emitcpp.c} | 0 src/stage0/init/lean/compiler/ir/{emitutil.cpp => emitutil.c} | 0 .../compiler/ir/{expandresetreuse.cpp => expandresetreuse.c} | 0 src/stage0/init/lean/compiler/ir/{format.cpp => format.c} | 0 src/stage0/init/lean/compiler/ir/{freevars.cpp => freevars.c} | 0 src/stage0/init/lean/compiler/ir/{livevars.cpp => livevars.c} | 0 src/stage0/init/lean/compiler/ir/{normids.cpp => normids.c} | 0 src/stage0/init/lean/compiler/ir/{pushproj.cpp => pushproj.c} | 0 src/stage0/init/lean/compiler/ir/{rc.cpp => rc.c} | 0 .../init/lean/compiler/ir/{resetreuse.cpp => resetreuse.c} | 0 src/stage0/init/lean/compiler/ir/{simpcase.cpp => simpcase.c} | 0 .../init/lean/compiler/{namemangling.cpp => namemangling.c} | 0 src/stage0/init/lean/compiler/{specialize.cpp => specialize.c} | 0 src/stage0/init/lean/compiler/{util.cpp => util.c} | 0 src/stage0/init/lean/{declaration.cpp => declaration.c} | 0 src/stage0/init/lean/{default.cpp => default.c} | 0 src/stage0/init/lean/elaborator/{alias.cpp => alias.c} | 0 src/stage0/init/lean/elaborator/{basic.cpp => basic.c} | 0 src/stage0/init/lean/elaborator/{command.cpp => command.c} | 0 src/stage0/init/lean/elaborator/{default.cpp => default.c} | 0 .../elaborator/{elabstrategyattrs.cpp => elabstrategyattrs.c} | 0 src/stage0/init/lean/elaborator/{preterm.cpp => preterm.c} | 0 .../init/lean/elaborator/{resolvename.cpp => resolvename.c} | 0 src/stage0/init/lean/elaborator/{term.cpp => term.c} | 0 src/stage0/init/lean/{environment.cpp => environment.c} | 0 src/stage0/init/lean/eqncompiler/{default.cpp => default.c} | 0 .../init/lean/eqncompiler/{matchpattern.cpp => matchpattern.c} | 0 src/stage0/init/lean/{expr.cpp => expr.c} | 0 src/stage0/init/lean/{format.cpp => format.c} | 0 src/stage0/init/lean/{kvmap.cpp => kvmap.c} | 0 src/stage0/init/lean/{level.cpp => level.c} | 0 src/stage0/init/lean/{localcontext.cpp => localcontext.c} | 0 src/stage0/init/lean/{message.cpp => message.c} | 0 src/stage0/init/lean/{metavarcontext.cpp => metavarcontext.c} | 0 src/stage0/init/lean/{modifiers.cpp => modifiers.c} | 0 src/stage0/init/lean/{name.cpp => name.c} | 0 src/stage0/init/lean/{namegenerator.cpp => namegenerator.c} | 0 src/stage0/init/lean/{options.cpp => options.c} | 0 src/stage0/init/lean/parser/{command.cpp => command.c} | 0 src/stage0/init/lean/parser/{default.cpp => default.c} | 0 src/stage0/init/lean/parser/{identifier.cpp => identifier.c} | 0 src/stage0/init/lean/parser/{level.cpp => level.c} | 0 src/stage0/init/lean/parser/{module.cpp => module.c} | 0 src/stage0/init/lean/parser/{parser.cpp => parser.c} | 0 src/stage0/init/lean/parser/{term.cpp => term.c} | 0 src/stage0/init/lean/parser/{transform.cpp => transform.c} | 0 src/stage0/init/lean/parser/{trie.cpp => trie.c} | 0 src/stage0/init/lean/{path.cpp => path.c} | 0 src/stage0/init/lean/{position.cpp => position.c} | 0 src/stage0/init/lean/{projfns.cpp => projfns.c} | 0 .../init/lean/{reducibilityattrs.cpp => reducibilityattrs.c} | 0 src/stage0/init/lean/{runtime.cpp => runtime.c} | 0 src/stage0/init/lean/{scopes.cpp => scopes.c} | 0 src/stage0/init/lean/{smap.cpp => smap.c} | 0 src/stage0/init/lean/{syntax.cpp => syntax.c} | 0 src/stage0/init/lean/{toexpr.cpp => toexpr.c} | 0 src/stage0/init/lean/{trace.cpp => trace.c} | 0 src/stage0/init/lean/{util.cpp => util.c} | 0 src/stage0/init/system/{default.cpp => default.c} | 0 src/stage0/init/system/{filepath.cpp => filepath.c} | 0 src/stage0/init/system/{io.cpp => io.c} | 0 src/stage0/init/system/{platform.cpp => platform.c} | 0 src/stage0/init/{util.cpp => util.c} | 0 src/stage0/init/{wf.cpp => wf.c} | 0 146 files changed, 1 insertion(+), 1 deletion(-) rename src/stage0/init/{coe.cpp => coe.c} (100%) rename src/stage0/init/control/{alternative.cpp => alternative.c} (100%) rename src/stage0/init/control/{applicative.cpp => applicative.c} (100%) rename src/stage0/init/control/{combinators.cpp => combinators.c} (100%) rename src/stage0/init/control/{conditional.cpp => conditional.c} (100%) rename src/stage0/init/control/{default.cpp => default.c} (100%) rename src/stage0/init/control/{estate.cpp => estate.c} (100%) rename src/stage0/init/control/{except.cpp => except.c} (100%) rename src/stage0/init/control/{functor.cpp => functor.c} (100%) rename src/stage0/init/control/{id.cpp => id.c} (100%) rename src/stage0/init/control/{lift.cpp => lift.c} (100%) rename src/stage0/init/control/{monad.cpp => monad.c} (100%) rename src/stage0/init/control/{monadfail.cpp => monadfail.c} (100%) rename src/stage0/init/control/{option.cpp => option.c} (100%) rename src/stage0/init/control/{reader.cpp => reader.c} (100%) rename src/stage0/init/control/{state.cpp => state.c} (100%) rename src/stage0/init/{core.cpp => core.c} (100%) rename src/stage0/init/data/array/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/array/{binsearch.cpp => binsearch.c} (100%) rename src/stage0/init/data/array/{default.cpp => default.c} (100%) rename src/stage0/init/data/array/{qsort.cpp => qsort.c} (100%) rename src/stage0/init/data/{assoclist.cpp => assoclist.c} (100%) rename src/stage0/init/data/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/binomialheap/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/binomialheap/{default.cpp => default.c} (100%) rename src/stage0/init/data/bytearray/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/bytearray/{default.cpp => default.c} (100%) rename src/stage0/init/data/char/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/char/{default.cpp => default.c} (100%) rename src/stage0/init/data/{default.cpp => default.c} (100%) rename src/stage0/init/data/{dlist.cpp => dlist.c} (100%) rename src/stage0/init/data/fin/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/fin/{default.cpp => default.c} (100%) rename src/stage0/init/data/{hashable.cpp => hashable.c} (100%) rename src/stage0/init/data/hashmap/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/hashmap/{default.cpp => default.c} (100%) rename src/stage0/init/data/int/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/int/{default.cpp => default.c} (100%) rename src/stage0/init/data/list/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/list/{default.cpp => default.c} (100%) rename src/stage0/init/data/list/{instances.cpp => instances.c} (100%) rename src/stage0/init/data/nat/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/nat/{bitwise.cpp => bitwise.c} (100%) rename src/stage0/init/data/nat/{default.cpp => default.c} (100%) rename src/stage0/init/data/nat/{div.cpp => div.c} (100%) rename src/stage0/init/data/option/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/option/{instances.cpp => instances.c} (100%) rename src/stage0/init/data/persistentarray/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/persistentarray/{default.cpp => default.c} (100%) rename src/stage0/init/data/persistenthashmap/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/persistenthashmap/{default.cpp => default.c} (100%) rename src/stage0/init/data/{random.cpp => random.c} (100%) rename src/stage0/init/data/rbmap/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/rbmap/{default.cpp => default.c} (100%) rename src/stage0/init/data/rbtree/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/rbtree/{default.cpp => default.c} (100%) rename src/stage0/init/data/{repr.cpp => repr.c} (100%) rename src/stage0/init/data/string/{basic.cpp => basic.c} (100%) rename src/stage0/init/data/string/{default.cpp => default.c} (100%) rename src/stage0/init/data/{tostring.cpp => tostring.c} (100%) rename src/stage0/init/data/{uint.cpp => uint.c} (100%) rename src/stage0/init/{default.cpp => default.c} (100%) rename src/stage0/init/{fix.cpp => fix.c} (100%) rename src/stage0/init/lean/{attributes.cpp => attributes.c} (100%) rename src/stage0/init/lean/{class.cpp => class.c} (100%) rename src/stage0/init/lean/compiler/{closedtermcache.cpp => closedtermcache.c} (100%) rename src/stage0/init/lean/compiler/{constfolding.cpp => constfolding.c} (100%) rename src/stage0/init/lean/compiler/{default.cpp => default.c} (100%) rename src/stage0/init/lean/compiler/{exportattr.cpp => exportattr.c} (100%) rename src/stage0/init/lean/compiler/{externattr.cpp => externattr.c} (100%) rename src/stage0/init/lean/compiler/{implementedbyattr.cpp => implementedbyattr.c} (100%) rename src/stage0/init/lean/compiler/{initattr.cpp => initattr.c} (100%) rename src/stage0/init/lean/compiler/{inlineattrs.cpp => inlineattrs.c} (100%) rename src/stage0/init/lean/compiler/ir/{basic.cpp => basic.c} (100%) rename src/stage0/init/lean/compiler/ir/{borrow.cpp => borrow.c} (100%) rename src/stage0/init/lean/compiler/ir/{boxing.cpp => boxing.c} (100%) rename src/stage0/init/lean/compiler/ir/{checker.cpp => checker.c} (100%) rename src/stage0/init/lean/compiler/ir/{compilerm.cpp => compilerm.c} (100%) rename src/stage0/init/lean/compiler/ir/{default.cpp => default.c} (100%) rename src/stage0/init/lean/compiler/ir/{elimdead.cpp => elimdead.c} (100%) rename src/stage0/init/lean/compiler/ir/{emitc.cpp => emitc.c} (100%) rename src/stage0/init/lean/compiler/ir/{emitcpp.cpp => emitcpp.c} (100%) rename src/stage0/init/lean/compiler/ir/{emitutil.cpp => emitutil.c} (100%) rename src/stage0/init/lean/compiler/ir/{expandresetreuse.cpp => expandresetreuse.c} (100%) rename src/stage0/init/lean/compiler/ir/{format.cpp => format.c} (100%) rename src/stage0/init/lean/compiler/ir/{freevars.cpp => freevars.c} (100%) rename src/stage0/init/lean/compiler/ir/{livevars.cpp => livevars.c} (100%) rename src/stage0/init/lean/compiler/ir/{normids.cpp => normids.c} (100%) rename src/stage0/init/lean/compiler/ir/{pushproj.cpp => pushproj.c} (100%) rename src/stage0/init/lean/compiler/ir/{rc.cpp => rc.c} (100%) rename src/stage0/init/lean/compiler/ir/{resetreuse.cpp => resetreuse.c} (100%) rename src/stage0/init/lean/compiler/ir/{simpcase.cpp => simpcase.c} (100%) rename src/stage0/init/lean/compiler/{namemangling.cpp => namemangling.c} (100%) rename src/stage0/init/lean/compiler/{specialize.cpp => specialize.c} (100%) rename src/stage0/init/lean/compiler/{util.cpp => util.c} (100%) rename src/stage0/init/lean/{declaration.cpp => declaration.c} (100%) rename src/stage0/init/lean/{default.cpp => default.c} (100%) rename src/stage0/init/lean/elaborator/{alias.cpp => alias.c} (100%) rename src/stage0/init/lean/elaborator/{basic.cpp => basic.c} (100%) rename src/stage0/init/lean/elaborator/{command.cpp => command.c} (100%) rename src/stage0/init/lean/elaborator/{default.cpp => default.c} (100%) rename src/stage0/init/lean/elaborator/{elabstrategyattrs.cpp => elabstrategyattrs.c} (100%) rename src/stage0/init/lean/elaborator/{preterm.cpp => preterm.c} (100%) rename src/stage0/init/lean/elaborator/{resolvename.cpp => resolvename.c} (100%) rename src/stage0/init/lean/elaborator/{term.cpp => term.c} (100%) rename src/stage0/init/lean/{environment.cpp => environment.c} (100%) rename src/stage0/init/lean/eqncompiler/{default.cpp => default.c} (100%) rename src/stage0/init/lean/eqncompiler/{matchpattern.cpp => matchpattern.c} (100%) rename src/stage0/init/lean/{expr.cpp => expr.c} (100%) rename src/stage0/init/lean/{format.cpp => format.c} (100%) rename src/stage0/init/lean/{kvmap.cpp => kvmap.c} (100%) rename src/stage0/init/lean/{level.cpp => level.c} (100%) rename src/stage0/init/lean/{localcontext.cpp => localcontext.c} (100%) rename src/stage0/init/lean/{message.cpp => message.c} (100%) rename src/stage0/init/lean/{metavarcontext.cpp => metavarcontext.c} (100%) rename src/stage0/init/lean/{modifiers.cpp => modifiers.c} (100%) rename src/stage0/init/lean/{name.cpp => name.c} (100%) rename src/stage0/init/lean/{namegenerator.cpp => namegenerator.c} (100%) rename src/stage0/init/lean/{options.cpp => options.c} (100%) rename src/stage0/init/lean/parser/{command.cpp => command.c} (100%) rename src/stage0/init/lean/parser/{default.cpp => default.c} (100%) rename src/stage0/init/lean/parser/{identifier.cpp => identifier.c} (100%) rename src/stage0/init/lean/parser/{level.cpp => level.c} (100%) rename src/stage0/init/lean/parser/{module.cpp => module.c} (100%) rename src/stage0/init/lean/parser/{parser.cpp => parser.c} (100%) rename src/stage0/init/lean/parser/{term.cpp => term.c} (100%) rename src/stage0/init/lean/parser/{transform.cpp => transform.c} (100%) rename src/stage0/init/lean/parser/{trie.cpp => trie.c} (100%) rename src/stage0/init/lean/{path.cpp => path.c} (100%) rename src/stage0/init/lean/{position.cpp => position.c} (100%) rename src/stage0/init/lean/{projfns.cpp => projfns.c} (100%) rename src/stage0/init/lean/{reducibilityattrs.cpp => reducibilityattrs.c} (100%) rename src/stage0/init/lean/{runtime.cpp => runtime.c} (100%) rename src/stage0/init/lean/{scopes.cpp => scopes.c} (100%) rename src/stage0/init/lean/{smap.cpp => smap.c} (100%) rename src/stage0/init/lean/{syntax.cpp => syntax.c} (100%) rename src/stage0/init/lean/{toexpr.cpp => toexpr.c} (100%) rename src/stage0/init/lean/{trace.cpp => trace.c} (100%) rename src/stage0/init/lean/{util.cpp => util.c} (100%) rename src/stage0/init/system/{default.cpp => default.c} (100%) rename src/stage0/init/system/{filepath.cpp => filepath.c} (100%) rename src/stage0/init/system/{io.cpp => io.c} (100%) rename src/stage0/init/system/{platform.cpp => platform.c} (100%) rename src/stage0/init/{util.cpp => util.c} (100%) rename src/stage0/init/{wf.cpp => wf.c} (100%) diff --git a/src/stage0/CMakeLists.txt b/src/stage0/CMakeLists.txt index 66682fa27d..8c401c4250 100644 --- a/src/stage0/CMakeLists.txt +++ b/src/stage0/CMakeLists.txt @@ -1 +1 @@ -add_library (stage0 OBJECT ./init/coe.cpp ./init/control/alternative.cpp ./init/control/applicative.cpp ./init/control/combinators.cpp ./init/control/conditional.cpp ./init/control/default.cpp ./init/control/estate.cpp ./init/control/except.cpp ./init/control/functor.cpp ./init/control/id.cpp ./init/control/lift.cpp ./init/control/monad.cpp ./init/control/monadfail.cpp ./init/control/option.cpp ./init/control/reader.cpp ./init/control/state.cpp ./init/core.cpp ./init/data/array/basic.cpp ./init/data/array/binsearch.cpp ./init/data/array/default.cpp ./init/data/array/qsort.cpp ./init/data/assoclist.cpp ./init/data/basic.cpp ./init/data/binomialheap/basic.cpp ./init/data/binomialheap/default.cpp ./init/data/bytearray/basic.cpp ./init/data/bytearray/default.cpp ./init/data/char/basic.cpp ./init/data/char/default.cpp ./init/data/default.cpp ./init/data/dlist.cpp ./init/data/fin/basic.cpp ./init/data/fin/default.cpp ./init/data/hashable.cpp ./init/data/hashmap/basic.cpp ./init/data/hashmap/default.cpp ./init/data/int/basic.cpp ./init/data/int/default.cpp ./init/data/list/basic.cpp ./init/data/list/default.cpp ./init/data/list/instances.cpp ./init/data/nat/basic.cpp ./init/data/nat/bitwise.cpp ./init/data/nat/default.cpp ./init/data/nat/div.cpp ./init/data/option/basic.cpp ./init/data/option/instances.cpp ./init/data/persistentarray/basic.cpp ./init/data/persistentarray/default.cpp ./init/data/persistenthashmap/basic.cpp ./init/data/persistenthashmap/default.cpp ./init/data/random.cpp ./init/data/rbmap/basic.cpp ./init/data/rbmap/default.cpp ./init/data/rbtree/basic.cpp ./init/data/rbtree/default.cpp ./init/data/repr.cpp ./init/data/string/basic.cpp ./init/data/string/default.cpp ./init/data/tostring.cpp ./init/data/uint.cpp ./init/default.cpp ./init/fix.cpp ./init/lean/attributes.cpp ./init/lean/class.cpp ./init/lean/compiler/closedtermcache.cpp ./init/lean/compiler/constfolding.cpp ./init/lean/compiler/default.cpp ./init/lean/compiler/exportattr.cpp ./init/lean/compiler/externattr.cpp ./init/lean/compiler/implementedbyattr.cpp ./init/lean/compiler/initattr.cpp ./init/lean/compiler/inlineattrs.cpp ./init/lean/compiler/ir/basic.cpp ./init/lean/compiler/ir/borrow.cpp ./init/lean/compiler/ir/boxing.cpp ./init/lean/compiler/ir/checker.cpp ./init/lean/compiler/ir/compilerm.cpp ./init/lean/compiler/ir/default.cpp ./init/lean/compiler/ir/elimdead.cpp ./init/lean/compiler/ir/emitc.cpp ./init/lean/compiler/ir/emitcpp.cpp ./init/lean/compiler/ir/emitutil.cpp ./init/lean/compiler/ir/expandresetreuse.cpp ./init/lean/compiler/ir/format.cpp ./init/lean/compiler/ir/freevars.cpp ./init/lean/compiler/ir/livevars.cpp ./init/lean/compiler/ir/normids.cpp ./init/lean/compiler/ir/pushproj.cpp ./init/lean/compiler/ir/rc.cpp ./init/lean/compiler/ir/resetreuse.cpp ./init/lean/compiler/ir/simpcase.cpp ./init/lean/compiler/namemangling.cpp ./init/lean/compiler/specialize.cpp ./init/lean/compiler/util.cpp ./init/lean/declaration.cpp ./init/lean/default.cpp ./init/lean/elaborator/alias.cpp ./init/lean/elaborator/basic.cpp ./init/lean/elaborator/command.cpp ./init/lean/elaborator/default.cpp ./init/lean/elaborator/elabstrategyattrs.cpp ./init/lean/elaborator/preterm.cpp ./init/lean/elaborator/resolvename.cpp ./init/lean/elaborator/term.cpp ./init/lean/environment.cpp ./init/lean/eqncompiler/default.cpp ./init/lean/eqncompiler/matchpattern.cpp ./init/lean/expr.cpp ./init/lean/format.cpp ./init/lean/kvmap.cpp ./init/lean/level.cpp ./init/lean/localcontext.cpp ./init/lean/message.cpp ./init/lean/metavarcontext.cpp ./init/lean/modifiers.cpp ./init/lean/name.cpp ./init/lean/namegenerator.cpp ./init/lean/options.cpp ./init/lean/parser/command.cpp ./init/lean/parser/default.cpp ./init/lean/parser/identifier.cpp ./init/lean/parser/level.cpp ./init/lean/parser/module.cpp ./init/lean/parser/parser.cpp ./init/lean/parser/term.cpp ./init/lean/parser/transform.cpp ./init/lean/parser/trie.cpp ./init/lean/path.cpp ./init/lean/position.cpp ./init/lean/projfns.cpp ./init/lean/reducibilityattrs.cpp ./init/lean/runtime.cpp ./init/lean/scopes.cpp ./init/lean/smap.cpp ./init/lean/syntax.cpp ./init/lean/toexpr.cpp ./init/lean/trace.cpp ./init/lean/util.cpp ./init/system/default.cpp ./init/system/filepath.cpp ./init/system/io.cpp ./init/system/platform.cpp ./init/util.cpp ./init/wf.cpp) +add_library (stage0 OBJECT ./init/coe.c ./init/control/alternative.c ./init/control/applicative.c ./init/control/combinators.c ./init/control/conditional.c ./init/control/default.c ./init/control/estate.c ./init/control/except.c ./init/control/functor.c ./init/control/id.c ./init/control/lift.c ./init/control/monad.c ./init/control/monadfail.c ./init/control/option.c ./init/control/reader.c ./init/control/state.c ./init/core.c ./init/data/array/basic.c ./init/data/array/binsearch.c ./init/data/array/default.c ./init/data/array/qsort.c ./init/data/assoclist.c ./init/data/basic.c ./init/data/binomialheap/basic.c ./init/data/binomialheap/default.c ./init/data/bytearray/basic.c ./init/data/bytearray/default.c ./init/data/char/basic.c ./init/data/char/default.c ./init/data/default.c ./init/data/dlist.c ./init/data/fin/basic.c ./init/data/fin/default.c ./init/data/hashable.c ./init/data/hashmap/basic.c ./init/data/hashmap/default.c ./init/data/int/basic.c ./init/data/int/default.c ./init/data/list/basic.c ./init/data/list/default.c ./init/data/list/instances.c ./init/data/nat/basic.c ./init/data/nat/bitwise.c ./init/data/nat/default.c ./init/data/nat/div.c ./init/data/option/basic.c ./init/data/option/instances.c ./init/data/persistentarray/basic.c ./init/data/persistentarray/default.c ./init/data/persistenthashmap/basic.c ./init/data/persistenthashmap/default.c ./init/data/random.c ./init/data/rbmap/basic.c ./init/data/rbmap/default.c ./init/data/rbtree/basic.c ./init/data/rbtree/default.c ./init/data/repr.c ./init/data/string/basic.c ./init/data/string/default.c ./init/data/tostring.c ./init/data/uint.c ./init/default.c ./init/fix.c ./init/lean/attributes.c ./init/lean/class.c ./init/lean/compiler/closedtermcache.c ./init/lean/compiler/constfolding.c ./init/lean/compiler/default.c ./init/lean/compiler/exportattr.c ./init/lean/compiler/externattr.c ./init/lean/compiler/implementedbyattr.c ./init/lean/compiler/initattr.c ./init/lean/compiler/inlineattrs.c ./init/lean/compiler/ir/basic.c ./init/lean/compiler/ir/borrow.c ./init/lean/compiler/ir/boxing.c ./init/lean/compiler/ir/checker.c ./init/lean/compiler/ir/compilerm.c ./init/lean/compiler/ir/default.c ./init/lean/compiler/ir/elimdead.c ./init/lean/compiler/ir/emitc.c ./init/lean/compiler/ir/emitcpp.c ./init/lean/compiler/ir/emitutil.c ./init/lean/compiler/ir/expandresetreuse.c ./init/lean/compiler/ir/format.c ./init/lean/compiler/ir/freevars.c ./init/lean/compiler/ir/livevars.c ./init/lean/compiler/ir/normids.c ./init/lean/compiler/ir/pushproj.c ./init/lean/compiler/ir/rc.c ./init/lean/compiler/ir/resetreuse.c ./init/lean/compiler/ir/simpcase.c ./init/lean/compiler/namemangling.c ./init/lean/compiler/specialize.c ./init/lean/compiler/util.c ./init/lean/declaration.c ./init/lean/default.c ./init/lean/elaborator/alias.c ./init/lean/elaborator/basic.c ./init/lean/elaborator/command.c ./init/lean/elaborator/default.c ./init/lean/elaborator/elabstrategyattrs.c ./init/lean/elaborator/preterm.c ./init/lean/elaborator/resolvename.c ./init/lean/elaborator/term.c ./init/lean/environment.c ./init/lean/eqncompiler/default.c ./init/lean/eqncompiler/matchpattern.c ./init/lean/expr.c ./init/lean/format.c ./init/lean/kvmap.c ./init/lean/level.c ./init/lean/localcontext.c ./init/lean/message.c ./init/lean/metavarcontext.c ./init/lean/modifiers.c ./init/lean/name.c ./init/lean/namegenerator.c ./init/lean/options.c ./init/lean/parser/command.c ./init/lean/parser/default.c ./init/lean/parser/identifier.c ./init/lean/parser/level.c ./init/lean/parser/module.c ./init/lean/parser/parser.c ./init/lean/parser/term.c ./init/lean/parser/transform.c ./init/lean/parser/trie.c ./init/lean/path.c ./init/lean/position.c ./init/lean/projfns.c ./init/lean/reducibilityattrs.c ./init/lean/runtime.c ./init/lean/scopes.c ./init/lean/smap.c ./init/lean/syntax.c ./init/lean/toexpr.c ./init/lean/trace.c ./init/lean/util.c ./init/system/default.c ./init/system/filepath.c ./init/system/io.c ./init/system/platform.c ./init/util.c ./init/wf.c) diff --git a/src/stage0/init/coe.cpp b/src/stage0/init/coe.c similarity index 100% rename from src/stage0/init/coe.cpp rename to src/stage0/init/coe.c diff --git a/src/stage0/init/control/alternative.cpp b/src/stage0/init/control/alternative.c similarity index 100% rename from src/stage0/init/control/alternative.cpp rename to src/stage0/init/control/alternative.c diff --git a/src/stage0/init/control/applicative.cpp b/src/stage0/init/control/applicative.c similarity index 100% rename from src/stage0/init/control/applicative.cpp rename to src/stage0/init/control/applicative.c diff --git a/src/stage0/init/control/combinators.cpp b/src/stage0/init/control/combinators.c similarity index 100% rename from src/stage0/init/control/combinators.cpp rename to src/stage0/init/control/combinators.c diff --git a/src/stage0/init/control/conditional.cpp b/src/stage0/init/control/conditional.c similarity index 100% rename from src/stage0/init/control/conditional.cpp rename to src/stage0/init/control/conditional.c diff --git a/src/stage0/init/control/default.cpp b/src/stage0/init/control/default.c similarity index 100% rename from src/stage0/init/control/default.cpp rename to src/stage0/init/control/default.c diff --git a/src/stage0/init/control/estate.cpp b/src/stage0/init/control/estate.c similarity index 100% rename from src/stage0/init/control/estate.cpp rename to src/stage0/init/control/estate.c diff --git a/src/stage0/init/control/except.cpp b/src/stage0/init/control/except.c similarity index 100% rename from src/stage0/init/control/except.cpp rename to src/stage0/init/control/except.c diff --git a/src/stage0/init/control/functor.cpp b/src/stage0/init/control/functor.c similarity index 100% rename from src/stage0/init/control/functor.cpp rename to src/stage0/init/control/functor.c diff --git a/src/stage0/init/control/id.cpp b/src/stage0/init/control/id.c similarity index 100% rename from src/stage0/init/control/id.cpp rename to src/stage0/init/control/id.c diff --git a/src/stage0/init/control/lift.cpp b/src/stage0/init/control/lift.c similarity index 100% rename from src/stage0/init/control/lift.cpp rename to src/stage0/init/control/lift.c diff --git a/src/stage0/init/control/monad.cpp b/src/stage0/init/control/monad.c similarity index 100% rename from src/stage0/init/control/monad.cpp rename to src/stage0/init/control/monad.c diff --git a/src/stage0/init/control/monadfail.cpp b/src/stage0/init/control/monadfail.c similarity index 100% rename from src/stage0/init/control/monadfail.cpp rename to src/stage0/init/control/monadfail.c diff --git a/src/stage0/init/control/option.cpp b/src/stage0/init/control/option.c similarity index 100% rename from src/stage0/init/control/option.cpp rename to src/stage0/init/control/option.c diff --git a/src/stage0/init/control/reader.cpp b/src/stage0/init/control/reader.c similarity index 100% rename from src/stage0/init/control/reader.cpp rename to src/stage0/init/control/reader.c diff --git a/src/stage0/init/control/state.cpp b/src/stage0/init/control/state.c similarity index 100% rename from src/stage0/init/control/state.cpp rename to src/stage0/init/control/state.c diff --git a/src/stage0/init/core.cpp b/src/stage0/init/core.c similarity index 100% rename from src/stage0/init/core.cpp rename to src/stage0/init/core.c diff --git a/src/stage0/init/data/array/basic.cpp b/src/stage0/init/data/array/basic.c similarity index 100% rename from src/stage0/init/data/array/basic.cpp rename to src/stage0/init/data/array/basic.c diff --git a/src/stage0/init/data/array/binsearch.cpp b/src/stage0/init/data/array/binsearch.c similarity index 100% rename from src/stage0/init/data/array/binsearch.cpp rename to src/stage0/init/data/array/binsearch.c diff --git a/src/stage0/init/data/array/default.cpp b/src/stage0/init/data/array/default.c similarity index 100% rename from src/stage0/init/data/array/default.cpp rename to src/stage0/init/data/array/default.c diff --git a/src/stage0/init/data/array/qsort.cpp b/src/stage0/init/data/array/qsort.c similarity index 100% rename from src/stage0/init/data/array/qsort.cpp rename to src/stage0/init/data/array/qsort.c diff --git a/src/stage0/init/data/assoclist.cpp b/src/stage0/init/data/assoclist.c similarity index 100% rename from src/stage0/init/data/assoclist.cpp rename to src/stage0/init/data/assoclist.c diff --git a/src/stage0/init/data/basic.cpp b/src/stage0/init/data/basic.c similarity index 100% rename from src/stage0/init/data/basic.cpp rename to src/stage0/init/data/basic.c diff --git a/src/stage0/init/data/binomialheap/basic.cpp b/src/stage0/init/data/binomialheap/basic.c similarity index 100% rename from src/stage0/init/data/binomialheap/basic.cpp rename to src/stage0/init/data/binomialheap/basic.c diff --git a/src/stage0/init/data/binomialheap/default.cpp b/src/stage0/init/data/binomialheap/default.c similarity index 100% rename from src/stage0/init/data/binomialheap/default.cpp rename to src/stage0/init/data/binomialheap/default.c diff --git a/src/stage0/init/data/bytearray/basic.cpp b/src/stage0/init/data/bytearray/basic.c similarity index 100% rename from src/stage0/init/data/bytearray/basic.cpp rename to src/stage0/init/data/bytearray/basic.c diff --git a/src/stage0/init/data/bytearray/default.cpp b/src/stage0/init/data/bytearray/default.c similarity index 100% rename from src/stage0/init/data/bytearray/default.cpp rename to src/stage0/init/data/bytearray/default.c diff --git a/src/stage0/init/data/char/basic.cpp b/src/stage0/init/data/char/basic.c similarity index 100% rename from src/stage0/init/data/char/basic.cpp rename to src/stage0/init/data/char/basic.c diff --git a/src/stage0/init/data/char/default.cpp b/src/stage0/init/data/char/default.c similarity index 100% rename from src/stage0/init/data/char/default.cpp rename to src/stage0/init/data/char/default.c diff --git a/src/stage0/init/data/default.cpp b/src/stage0/init/data/default.c similarity index 100% rename from src/stage0/init/data/default.cpp rename to src/stage0/init/data/default.c diff --git a/src/stage0/init/data/dlist.cpp b/src/stage0/init/data/dlist.c similarity index 100% rename from src/stage0/init/data/dlist.cpp rename to src/stage0/init/data/dlist.c diff --git a/src/stage0/init/data/fin/basic.cpp b/src/stage0/init/data/fin/basic.c similarity index 100% rename from src/stage0/init/data/fin/basic.cpp rename to src/stage0/init/data/fin/basic.c diff --git a/src/stage0/init/data/fin/default.cpp b/src/stage0/init/data/fin/default.c similarity index 100% rename from src/stage0/init/data/fin/default.cpp rename to src/stage0/init/data/fin/default.c diff --git a/src/stage0/init/data/hashable.cpp b/src/stage0/init/data/hashable.c similarity index 100% rename from src/stage0/init/data/hashable.cpp rename to src/stage0/init/data/hashable.c diff --git a/src/stage0/init/data/hashmap/basic.cpp b/src/stage0/init/data/hashmap/basic.c similarity index 100% rename from src/stage0/init/data/hashmap/basic.cpp rename to src/stage0/init/data/hashmap/basic.c diff --git a/src/stage0/init/data/hashmap/default.cpp b/src/stage0/init/data/hashmap/default.c similarity index 100% rename from src/stage0/init/data/hashmap/default.cpp rename to src/stage0/init/data/hashmap/default.c diff --git a/src/stage0/init/data/int/basic.cpp b/src/stage0/init/data/int/basic.c similarity index 100% rename from src/stage0/init/data/int/basic.cpp rename to src/stage0/init/data/int/basic.c diff --git a/src/stage0/init/data/int/default.cpp b/src/stage0/init/data/int/default.c similarity index 100% rename from src/stage0/init/data/int/default.cpp rename to src/stage0/init/data/int/default.c diff --git a/src/stage0/init/data/list/basic.cpp b/src/stage0/init/data/list/basic.c similarity index 100% rename from src/stage0/init/data/list/basic.cpp rename to src/stage0/init/data/list/basic.c diff --git a/src/stage0/init/data/list/default.cpp b/src/stage0/init/data/list/default.c similarity index 100% rename from src/stage0/init/data/list/default.cpp rename to src/stage0/init/data/list/default.c diff --git a/src/stage0/init/data/list/instances.cpp b/src/stage0/init/data/list/instances.c similarity index 100% rename from src/stage0/init/data/list/instances.cpp rename to src/stage0/init/data/list/instances.c diff --git a/src/stage0/init/data/nat/basic.cpp b/src/stage0/init/data/nat/basic.c similarity index 100% rename from src/stage0/init/data/nat/basic.cpp rename to src/stage0/init/data/nat/basic.c diff --git a/src/stage0/init/data/nat/bitwise.cpp b/src/stage0/init/data/nat/bitwise.c similarity index 100% rename from src/stage0/init/data/nat/bitwise.cpp rename to src/stage0/init/data/nat/bitwise.c diff --git a/src/stage0/init/data/nat/default.cpp b/src/stage0/init/data/nat/default.c similarity index 100% rename from src/stage0/init/data/nat/default.cpp rename to src/stage0/init/data/nat/default.c diff --git a/src/stage0/init/data/nat/div.cpp b/src/stage0/init/data/nat/div.c similarity index 100% rename from src/stage0/init/data/nat/div.cpp rename to src/stage0/init/data/nat/div.c diff --git a/src/stage0/init/data/option/basic.cpp b/src/stage0/init/data/option/basic.c similarity index 100% rename from src/stage0/init/data/option/basic.cpp rename to src/stage0/init/data/option/basic.c diff --git a/src/stage0/init/data/option/instances.cpp b/src/stage0/init/data/option/instances.c similarity index 100% rename from src/stage0/init/data/option/instances.cpp rename to src/stage0/init/data/option/instances.c diff --git a/src/stage0/init/data/persistentarray/basic.cpp b/src/stage0/init/data/persistentarray/basic.c similarity index 100% rename from src/stage0/init/data/persistentarray/basic.cpp rename to src/stage0/init/data/persistentarray/basic.c diff --git a/src/stage0/init/data/persistentarray/default.cpp b/src/stage0/init/data/persistentarray/default.c similarity index 100% rename from src/stage0/init/data/persistentarray/default.cpp rename to src/stage0/init/data/persistentarray/default.c diff --git a/src/stage0/init/data/persistenthashmap/basic.cpp b/src/stage0/init/data/persistenthashmap/basic.c similarity index 100% rename from src/stage0/init/data/persistenthashmap/basic.cpp rename to src/stage0/init/data/persistenthashmap/basic.c diff --git a/src/stage0/init/data/persistenthashmap/default.cpp b/src/stage0/init/data/persistenthashmap/default.c similarity index 100% rename from src/stage0/init/data/persistenthashmap/default.cpp rename to src/stage0/init/data/persistenthashmap/default.c diff --git a/src/stage0/init/data/random.cpp b/src/stage0/init/data/random.c similarity index 100% rename from src/stage0/init/data/random.cpp rename to src/stage0/init/data/random.c diff --git a/src/stage0/init/data/rbmap/basic.cpp b/src/stage0/init/data/rbmap/basic.c similarity index 100% rename from src/stage0/init/data/rbmap/basic.cpp rename to src/stage0/init/data/rbmap/basic.c diff --git a/src/stage0/init/data/rbmap/default.cpp b/src/stage0/init/data/rbmap/default.c similarity index 100% rename from src/stage0/init/data/rbmap/default.cpp rename to src/stage0/init/data/rbmap/default.c diff --git a/src/stage0/init/data/rbtree/basic.cpp b/src/stage0/init/data/rbtree/basic.c similarity index 100% rename from src/stage0/init/data/rbtree/basic.cpp rename to src/stage0/init/data/rbtree/basic.c diff --git a/src/stage0/init/data/rbtree/default.cpp b/src/stage0/init/data/rbtree/default.c similarity index 100% rename from src/stage0/init/data/rbtree/default.cpp rename to src/stage0/init/data/rbtree/default.c diff --git a/src/stage0/init/data/repr.cpp b/src/stage0/init/data/repr.c similarity index 100% rename from src/stage0/init/data/repr.cpp rename to src/stage0/init/data/repr.c diff --git a/src/stage0/init/data/string/basic.cpp b/src/stage0/init/data/string/basic.c similarity index 100% rename from src/stage0/init/data/string/basic.cpp rename to src/stage0/init/data/string/basic.c diff --git a/src/stage0/init/data/string/default.cpp b/src/stage0/init/data/string/default.c similarity index 100% rename from src/stage0/init/data/string/default.cpp rename to src/stage0/init/data/string/default.c diff --git a/src/stage0/init/data/tostring.cpp b/src/stage0/init/data/tostring.c similarity index 100% rename from src/stage0/init/data/tostring.cpp rename to src/stage0/init/data/tostring.c diff --git a/src/stage0/init/data/uint.cpp b/src/stage0/init/data/uint.c similarity index 100% rename from src/stage0/init/data/uint.cpp rename to src/stage0/init/data/uint.c diff --git a/src/stage0/init/default.cpp b/src/stage0/init/default.c similarity index 100% rename from src/stage0/init/default.cpp rename to src/stage0/init/default.c diff --git a/src/stage0/init/fix.cpp b/src/stage0/init/fix.c similarity index 100% rename from src/stage0/init/fix.cpp rename to src/stage0/init/fix.c diff --git a/src/stage0/init/lean/attributes.cpp b/src/stage0/init/lean/attributes.c similarity index 100% rename from src/stage0/init/lean/attributes.cpp rename to src/stage0/init/lean/attributes.c diff --git a/src/stage0/init/lean/class.cpp b/src/stage0/init/lean/class.c similarity index 100% rename from src/stage0/init/lean/class.cpp rename to src/stage0/init/lean/class.c diff --git a/src/stage0/init/lean/compiler/closedtermcache.cpp b/src/stage0/init/lean/compiler/closedtermcache.c similarity index 100% rename from src/stage0/init/lean/compiler/closedtermcache.cpp rename to src/stage0/init/lean/compiler/closedtermcache.c diff --git a/src/stage0/init/lean/compiler/constfolding.cpp b/src/stage0/init/lean/compiler/constfolding.c similarity index 100% rename from src/stage0/init/lean/compiler/constfolding.cpp rename to src/stage0/init/lean/compiler/constfolding.c diff --git a/src/stage0/init/lean/compiler/default.cpp b/src/stage0/init/lean/compiler/default.c similarity index 100% rename from src/stage0/init/lean/compiler/default.cpp rename to src/stage0/init/lean/compiler/default.c diff --git a/src/stage0/init/lean/compiler/exportattr.cpp b/src/stage0/init/lean/compiler/exportattr.c similarity index 100% rename from src/stage0/init/lean/compiler/exportattr.cpp rename to src/stage0/init/lean/compiler/exportattr.c diff --git a/src/stage0/init/lean/compiler/externattr.cpp b/src/stage0/init/lean/compiler/externattr.c similarity index 100% rename from src/stage0/init/lean/compiler/externattr.cpp rename to src/stage0/init/lean/compiler/externattr.c diff --git a/src/stage0/init/lean/compiler/implementedbyattr.cpp b/src/stage0/init/lean/compiler/implementedbyattr.c similarity index 100% rename from src/stage0/init/lean/compiler/implementedbyattr.cpp rename to src/stage0/init/lean/compiler/implementedbyattr.c diff --git a/src/stage0/init/lean/compiler/initattr.cpp b/src/stage0/init/lean/compiler/initattr.c similarity index 100% rename from src/stage0/init/lean/compiler/initattr.cpp rename to src/stage0/init/lean/compiler/initattr.c diff --git a/src/stage0/init/lean/compiler/inlineattrs.cpp b/src/stage0/init/lean/compiler/inlineattrs.c similarity index 100% rename from src/stage0/init/lean/compiler/inlineattrs.cpp rename to src/stage0/init/lean/compiler/inlineattrs.c diff --git a/src/stage0/init/lean/compiler/ir/basic.cpp b/src/stage0/init/lean/compiler/ir/basic.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/basic.cpp rename to src/stage0/init/lean/compiler/ir/basic.c diff --git a/src/stage0/init/lean/compiler/ir/borrow.cpp b/src/stage0/init/lean/compiler/ir/borrow.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/borrow.cpp rename to src/stage0/init/lean/compiler/ir/borrow.c diff --git a/src/stage0/init/lean/compiler/ir/boxing.cpp b/src/stage0/init/lean/compiler/ir/boxing.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/boxing.cpp rename to src/stage0/init/lean/compiler/ir/boxing.c diff --git a/src/stage0/init/lean/compiler/ir/checker.cpp b/src/stage0/init/lean/compiler/ir/checker.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/checker.cpp rename to src/stage0/init/lean/compiler/ir/checker.c diff --git a/src/stage0/init/lean/compiler/ir/compilerm.cpp b/src/stage0/init/lean/compiler/ir/compilerm.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/compilerm.cpp rename to src/stage0/init/lean/compiler/ir/compilerm.c diff --git a/src/stage0/init/lean/compiler/ir/default.cpp b/src/stage0/init/lean/compiler/ir/default.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/default.cpp rename to src/stage0/init/lean/compiler/ir/default.c diff --git a/src/stage0/init/lean/compiler/ir/elimdead.cpp b/src/stage0/init/lean/compiler/ir/elimdead.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/elimdead.cpp rename to src/stage0/init/lean/compiler/ir/elimdead.c diff --git a/src/stage0/init/lean/compiler/ir/emitc.cpp b/src/stage0/init/lean/compiler/ir/emitc.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/emitc.cpp rename to src/stage0/init/lean/compiler/ir/emitc.c diff --git a/src/stage0/init/lean/compiler/ir/emitcpp.cpp b/src/stage0/init/lean/compiler/ir/emitcpp.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/emitcpp.cpp rename to src/stage0/init/lean/compiler/ir/emitcpp.c diff --git a/src/stage0/init/lean/compiler/ir/emitutil.cpp b/src/stage0/init/lean/compiler/ir/emitutil.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/emitutil.cpp rename to src/stage0/init/lean/compiler/ir/emitutil.c diff --git a/src/stage0/init/lean/compiler/ir/expandresetreuse.cpp b/src/stage0/init/lean/compiler/ir/expandresetreuse.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/expandresetreuse.cpp rename to src/stage0/init/lean/compiler/ir/expandresetreuse.c diff --git a/src/stage0/init/lean/compiler/ir/format.cpp b/src/stage0/init/lean/compiler/ir/format.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/format.cpp rename to src/stage0/init/lean/compiler/ir/format.c diff --git a/src/stage0/init/lean/compiler/ir/freevars.cpp b/src/stage0/init/lean/compiler/ir/freevars.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/freevars.cpp rename to src/stage0/init/lean/compiler/ir/freevars.c diff --git a/src/stage0/init/lean/compiler/ir/livevars.cpp b/src/stage0/init/lean/compiler/ir/livevars.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/livevars.cpp rename to src/stage0/init/lean/compiler/ir/livevars.c diff --git a/src/stage0/init/lean/compiler/ir/normids.cpp b/src/stage0/init/lean/compiler/ir/normids.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/normids.cpp rename to src/stage0/init/lean/compiler/ir/normids.c diff --git a/src/stage0/init/lean/compiler/ir/pushproj.cpp b/src/stage0/init/lean/compiler/ir/pushproj.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/pushproj.cpp rename to src/stage0/init/lean/compiler/ir/pushproj.c diff --git a/src/stage0/init/lean/compiler/ir/rc.cpp b/src/stage0/init/lean/compiler/ir/rc.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/rc.cpp rename to src/stage0/init/lean/compiler/ir/rc.c diff --git a/src/stage0/init/lean/compiler/ir/resetreuse.cpp b/src/stage0/init/lean/compiler/ir/resetreuse.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/resetreuse.cpp rename to src/stage0/init/lean/compiler/ir/resetreuse.c diff --git a/src/stage0/init/lean/compiler/ir/simpcase.cpp b/src/stage0/init/lean/compiler/ir/simpcase.c similarity index 100% rename from src/stage0/init/lean/compiler/ir/simpcase.cpp rename to src/stage0/init/lean/compiler/ir/simpcase.c diff --git a/src/stage0/init/lean/compiler/namemangling.cpp b/src/stage0/init/lean/compiler/namemangling.c similarity index 100% rename from src/stage0/init/lean/compiler/namemangling.cpp rename to src/stage0/init/lean/compiler/namemangling.c diff --git a/src/stage0/init/lean/compiler/specialize.cpp b/src/stage0/init/lean/compiler/specialize.c similarity index 100% rename from src/stage0/init/lean/compiler/specialize.cpp rename to src/stage0/init/lean/compiler/specialize.c diff --git a/src/stage0/init/lean/compiler/util.cpp b/src/stage0/init/lean/compiler/util.c similarity index 100% rename from src/stage0/init/lean/compiler/util.cpp rename to src/stage0/init/lean/compiler/util.c diff --git a/src/stage0/init/lean/declaration.cpp b/src/stage0/init/lean/declaration.c similarity index 100% rename from src/stage0/init/lean/declaration.cpp rename to src/stage0/init/lean/declaration.c diff --git a/src/stage0/init/lean/default.cpp b/src/stage0/init/lean/default.c similarity index 100% rename from src/stage0/init/lean/default.cpp rename to src/stage0/init/lean/default.c diff --git a/src/stage0/init/lean/elaborator/alias.cpp b/src/stage0/init/lean/elaborator/alias.c similarity index 100% rename from src/stage0/init/lean/elaborator/alias.cpp rename to src/stage0/init/lean/elaborator/alias.c diff --git a/src/stage0/init/lean/elaborator/basic.cpp b/src/stage0/init/lean/elaborator/basic.c similarity index 100% rename from src/stage0/init/lean/elaborator/basic.cpp rename to src/stage0/init/lean/elaborator/basic.c diff --git a/src/stage0/init/lean/elaborator/command.cpp b/src/stage0/init/lean/elaborator/command.c similarity index 100% rename from src/stage0/init/lean/elaborator/command.cpp rename to src/stage0/init/lean/elaborator/command.c diff --git a/src/stage0/init/lean/elaborator/default.cpp b/src/stage0/init/lean/elaborator/default.c similarity index 100% rename from src/stage0/init/lean/elaborator/default.cpp rename to src/stage0/init/lean/elaborator/default.c diff --git a/src/stage0/init/lean/elaborator/elabstrategyattrs.cpp b/src/stage0/init/lean/elaborator/elabstrategyattrs.c similarity index 100% rename from src/stage0/init/lean/elaborator/elabstrategyattrs.cpp rename to src/stage0/init/lean/elaborator/elabstrategyattrs.c diff --git a/src/stage0/init/lean/elaborator/preterm.cpp b/src/stage0/init/lean/elaborator/preterm.c similarity index 100% rename from src/stage0/init/lean/elaborator/preterm.cpp rename to src/stage0/init/lean/elaborator/preterm.c diff --git a/src/stage0/init/lean/elaborator/resolvename.cpp b/src/stage0/init/lean/elaborator/resolvename.c similarity index 100% rename from src/stage0/init/lean/elaborator/resolvename.cpp rename to src/stage0/init/lean/elaborator/resolvename.c diff --git a/src/stage0/init/lean/elaborator/term.cpp b/src/stage0/init/lean/elaborator/term.c similarity index 100% rename from src/stage0/init/lean/elaborator/term.cpp rename to src/stage0/init/lean/elaborator/term.c diff --git a/src/stage0/init/lean/environment.cpp b/src/stage0/init/lean/environment.c similarity index 100% rename from src/stage0/init/lean/environment.cpp rename to src/stage0/init/lean/environment.c diff --git a/src/stage0/init/lean/eqncompiler/default.cpp b/src/stage0/init/lean/eqncompiler/default.c similarity index 100% rename from src/stage0/init/lean/eqncompiler/default.cpp rename to src/stage0/init/lean/eqncompiler/default.c diff --git a/src/stage0/init/lean/eqncompiler/matchpattern.cpp b/src/stage0/init/lean/eqncompiler/matchpattern.c similarity index 100% rename from src/stage0/init/lean/eqncompiler/matchpattern.cpp rename to src/stage0/init/lean/eqncompiler/matchpattern.c diff --git a/src/stage0/init/lean/expr.cpp b/src/stage0/init/lean/expr.c similarity index 100% rename from src/stage0/init/lean/expr.cpp rename to src/stage0/init/lean/expr.c diff --git a/src/stage0/init/lean/format.cpp b/src/stage0/init/lean/format.c similarity index 100% rename from src/stage0/init/lean/format.cpp rename to src/stage0/init/lean/format.c diff --git a/src/stage0/init/lean/kvmap.cpp b/src/stage0/init/lean/kvmap.c similarity index 100% rename from src/stage0/init/lean/kvmap.cpp rename to src/stage0/init/lean/kvmap.c diff --git a/src/stage0/init/lean/level.cpp b/src/stage0/init/lean/level.c similarity index 100% rename from src/stage0/init/lean/level.cpp rename to src/stage0/init/lean/level.c diff --git a/src/stage0/init/lean/localcontext.cpp b/src/stage0/init/lean/localcontext.c similarity index 100% rename from src/stage0/init/lean/localcontext.cpp rename to src/stage0/init/lean/localcontext.c diff --git a/src/stage0/init/lean/message.cpp b/src/stage0/init/lean/message.c similarity index 100% rename from src/stage0/init/lean/message.cpp rename to src/stage0/init/lean/message.c diff --git a/src/stage0/init/lean/metavarcontext.cpp b/src/stage0/init/lean/metavarcontext.c similarity index 100% rename from src/stage0/init/lean/metavarcontext.cpp rename to src/stage0/init/lean/metavarcontext.c diff --git a/src/stage0/init/lean/modifiers.cpp b/src/stage0/init/lean/modifiers.c similarity index 100% rename from src/stage0/init/lean/modifiers.cpp rename to src/stage0/init/lean/modifiers.c diff --git a/src/stage0/init/lean/name.cpp b/src/stage0/init/lean/name.c similarity index 100% rename from src/stage0/init/lean/name.cpp rename to src/stage0/init/lean/name.c diff --git a/src/stage0/init/lean/namegenerator.cpp b/src/stage0/init/lean/namegenerator.c similarity index 100% rename from src/stage0/init/lean/namegenerator.cpp rename to src/stage0/init/lean/namegenerator.c diff --git a/src/stage0/init/lean/options.cpp b/src/stage0/init/lean/options.c similarity index 100% rename from src/stage0/init/lean/options.cpp rename to src/stage0/init/lean/options.c diff --git a/src/stage0/init/lean/parser/command.cpp b/src/stage0/init/lean/parser/command.c similarity index 100% rename from src/stage0/init/lean/parser/command.cpp rename to src/stage0/init/lean/parser/command.c diff --git a/src/stage0/init/lean/parser/default.cpp b/src/stage0/init/lean/parser/default.c similarity index 100% rename from src/stage0/init/lean/parser/default.cpp rename to src/stage0/init/lean/parser/default.c diff --git a/src/stage0/init/lean/parser/identifier.cpp b/src/stage0/init/lean/parser/identifier.c similarity index 100% rename from src/stage0/init/lean/parser/identifier.cpp rename to src/stage0/init/lean/parser/identifier.c diff --git a/src/stage0/init/lean/parser/level.cpp b/src/stage0/init/lean/parser/level.c similarity index 100% rename from src/stage0/init/lean/parser/level.cpp rename to src/stage0/init/lean/parser/level.c diff --git a/src/stage0/init/lean/parser/module.cpp b/src/stage0/init/lean/parser/module.c similarity index 100% rename from src/stage0/init/lean/parser/module.cpp rename to src/stage0/init/lean/parser/module.c diff --git a/src/stage0/init/lean/parser/parser.cpp b/src/stage0/init/lean/parser/parser.c similarity index 100% rename from src/stage0/init/lean/parser/parser.cpp rename to src/stage0/init/lean/parser/parser.c diff --git a/src/stage0/init/lean/parser/term.cpp b/src/stage0/init/lean/parser/term.c similarity index 100% rename from src/stage0/init/lean/parser/term.cpp rename to src/stage0/init/lean/parser/term.c diff --git a/src/stage0/init/lean/parser/transform.cpp b/src/stage0/init/lean/parser/transform.c similarity index 100% rename from src/stage0/init/lean/parser/transform.cpp rename to src/stage0/init/lean/parser/transform.c diff --git a/src/stage0/init/lean/parser/trie.cpp b/src/stage0/init/lean/parser/trie.c similarity index 100% rename from src/stage0/init/lean/parser/trie.cpp rename to src/stage0/init/lean/parser/trie.c diff --git a/src/stage0/init/lean/path.cpp b/src/stage0/init/lean/path.c similarity index 100% rename from src/stage0/init/lean/path.cpp rename to src/stage0/init/lean/path.c diff --git a/src/stage0/init/lean/position.cpp b/src/stage0/init/lean/position.c similarity index 100% rename from src/stage0/init/lean/position.cpp rename to src/stage0/init/lean/position.c diff --git a/src/stage0/init/lean/projfns.cpp b/src/stage0/init/lean/projfns.c similarity index 100% rename from src/stage0/init/lean/projfns.cpp rename to src/stage0/init/lean/projfns.c diff --git a/src/stage0/init/lean/reducibilityattrs.cpp b/src/stage0/init/lean/reducibilityattrs.c similarity index 100% rename from src/stage0/init/lean/reducibilityattrs.cpp rename to src/stage0/init/lean/reducibilityattrs.c diff --git a/src/stage0/init/lean/runtime.cpp b/src/stage0/init/lean/runtime.c similarity index 100% rename from src/stage0/init/lean/runtime.cpp rename to src/stage0/init/lean/runtime.c diff --git a/src/stage0/init/lean/scopes.cpp b/src/stage0/init/lean/scopes.c similarity index 100% rename from src/stage0/init/lean/scopes.cpp rename to src/stage0/init/lean/scopes.c diff --git a/src/stage0/init/lean/smap.cpp b/src/stage0/init/lean/smap.c similarity index 100% rename from src/stage0/init/lean/smap.cpp rename to src/stage0/init/lean/smap.c diff --git a/src/stage0/init/lean/syntax.cpp b/src/stage0/init/lean/syntax.c similarity index 100% rename from src/stage0/init/lean/syntax.cpp rename to src/stage0/init/lean/syntax.c diff --git a/src/stage0/init/lean/toexpr.cpp b/src/stage0/init/lean/toexpr.c similarity index 100% rename from src/stage0/init/lean/toexpr.cpp rename to src/stage0/init/lean/toexpr.c diff --git a/src/stage0/init/lean/trace.cpp b/src/stage0/init/lean/trace.c similarity index 100% rename from src/stage0/init/lean/trace.cpp rename to src/stage0/init/lean/trace.c diff --git a/src/stage0/init/lean/util.cpp b/src/stage0/init/lean/util.c similarity index 100% rename from src/stage0/init/lean/util.cpp rename to src/stage0/init/lean/util.c diff --git a/src/stage0/init/system/default.cpp b/src/stage0/init/system/default.c similarity index 100% rename from src/stage0/init/system/default.cpp rename to src/stage0/init/system/default.c diff --git a/src/stage0/init/system/filepath.cpp b/src/stage0/init/system/filepath.c similarity index 100% rename from src/stage0/init/system/filepath.cpp rename to src/stage0/init/system/filepath.c diff --git a/src/stage0/init/system/io.cpp b/src/stage0/init/system/io.c similarity index 100% rename from src/stage0/init/system/io.cpp rename to src/stage0/init/system/io.c diff --git a/src/stage0/init/system/platform.cpp b/src/stage0/init/system/platform.c similarity index 100% rename from src/stage0/init/system/platform.cpp rename to src/stage0/init/system/platform.c diff --git a/src/stage0/init/util.cpp b/src/stage0/init/util.c similarity index 100% rename from src/stage0/init/util.cpp rename to src/stage0/init/util.c diff --git a/src/stage0/init/wf.cpp b/src/stage0/init/wf.c similarity index 100% rename from src/stage0/init/wf.cpp rename to src/stage0/init/wf.c