chore(library/compiler): util.* ==> old_util.*

src/library/compiler/CMakeLists.txt

@@ -1,4 +1,4 @@
-add_library(compiler OBJECT util.cpp eta_expansion.cpp preprocess.cpp
+add_library(compiler OBJECT old_util.cpp eta_expansion.cpp preprocess.cpp
   compiler_step_visitor.cpp elim_recursors.cpp comp_irrelevant.cpp
   inliner.cpp erase_irrelevant.cpp reduce_arity.cpp
   lambda_lifting.cpp simp_inductive.cpp nat_value.cpp

src/library/compiler/comp_irrelevant.cpp

@@ -5,7 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "library/annotation.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 
 namespace lean {

src/library/compiler/elim_recursors.cpp

@@ -12,7 +12,7 @@ Author: Leonardo de Moura
 #include "library/module.h"
 #include "library/util.h"
 #include "library/trace.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/procedure.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"

src/library/compiler/erase_irrelevant.cpp

@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/string.h"
 #include "library/constants.h"
 #include "library/aux_recursors.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/nat_value.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"

src/library/compiler/eta_expansion.cpp

@@ -13,7 +13,7 @@ Author: Leonardo de Moura
 #include "library/projection.h"
 #include "library/aux_recursors.h"
 #include "library/sorry.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/eta_expansion.h"

src/library/compiler/extract_values.cpp

@@ -7,7 +7,7 @@ Author: Leonardo de Moura
 #include "kernel/replace_fn.h"
 #include "library/sorry.h"
 #include "library/equations_compiler/util.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/procedure.h"
 #include "library/compiler/compiler_step_visitor.h"
 

src/library/compiler/inliner.cpp

@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/trace.h"
 #include "library/attribute_manager.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 
 namespace lean {

src/library/compiler/lambda_lifting.cpp

@@ -13,7 +13,7 @@ Author: Leonardo de Moura
 #include "library/module.h"
 #include "library/vm/vm.h"
 #include "library/sorry.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/erase_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/procedure.h"

src/library/compiler/preprocess.cpp

@@ -20,7 +20,7 @@ Author: Leonardo de Moura
 #include "library/context_cache.h"
 #include "library/module.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/preprocess.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/comp_irrelevant.h"

src/library/compiler/simp_inductive.cpp

@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/projection.h"
 #include "library/constants.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/erase_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/procedure.h"