From 5cfcb7e1441cba8318014073818fe2496b7855b1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 19 Nov 2013 11:24:02 -0800
Subject: [PATCH] chore(kernel/for_each): use consistent naming convetions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/bindings/lua/expr.cpp                | 2 +-
 src/frontends/lean/pp.cpp                | 2 +-
 src/kernel/environment.cpp               | 2 +-
 src/kernel/{for_each.h => for_each_fn.h} | 0
 src/kernel/has_cached_type.cpp           | 2 +-
 src/kernel/metavar.cpp                   | 2 +-
 src/kernel/occurs.cpp                    | 2 +-
 src/tests/library/deep_copy.cpp          | 2 +-
 8 files changed, 7 insertions(+), 7 deletions(-)
 rename src/kernel/{for_each.h => for_each_fn.h} (100%)

diff --git a/src/bindings/lua/expr.cpp b/src/bindings/lua/expr.cpp
index 0f3c21f31..25ace2892 100644
--- a/src/bindings/lua/expr.cpp
+++ b/src/bindings/lua/expr.cpp
@@ -16,7 +16,7 @@ Author: Leonardo de Moura
 #include "kernel/instantiate.h"
 #include "kernel/abstract.h"
 #include "kernel/formatter.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 #include "kernel/free_vars.h"
 #include "kernel/occurs.h"
 #include "kernel/metavar.h"
diff --git a/src/frontends/lean/pp.cpp b/src/frontends/lean/pp.cpp
index bf74953b5..99d16c9b8 100644
--- a/src/frontends/lean/pp.cpp
+++ b/src/frontends/lean/pp.cpp
@@ -15,7 +15,7 @@ Author: Leonardo de Moura
 #include "util/sexpr/options.h"
 #include "util/interrupt.h"
 #include "kernel/context.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 #include "kernel/occurs.h"
 #include "kernel/builtin.h"
 #include "kernel/free_vars.h"
diff --git a/src/kernel/environment.cpp b/src/kernel/environment.cpp
index ab13f665c..d5d0cd64c 100644
--- a/src/kernel/environment.cpp
+++ b/src/kernel/environment.cpp
@@ -14,7 +14,7 @@ Author: Leonardo de Moura
 #include <mutex>
 #include "util/safe_arith.h"
 #include "util/realpath.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 #include "kernel/kernel_exception.h"
 #include "kernel/environment.h"
 #include "kernel/threadsafe_environment.h"
diff --git a/src/kernel/for_each.h b/src/kernel/for_each_fn.h
similarity index 100%
rename from src/kernel/for_each.h
rename to src/kernel/for_each_fn.h
diff --git a/src/kernel/has_cached_type.cpp b/src/kernel/has_cached_type.cpp
index e3a743af4..9cec1f7e8 100644
--- a/src/kernel/has_cached_type.cpp
+++ b/src/kernel/has_cached_type.cpp
@@ -5,7 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "kernel/expr.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 
 namespace lean {
 bool has_cached_type(expr const & e) {
diff --git a/src/kernel/metavar.cpp b/src/kernel/metavar.cpp
index 120016b43..dd555814f 100644
--- a/src/kernel/metavar.cpp
+++ b/src/kernel/metavar.cpp
@@ -13,7 +13,7 @@ Author: Leonardo de Moura
 #include "kernel/free_vars.h"
 #include "kernel/instantiate.h"
 #include "kernel/occurs.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 
 namespace lean {
 /**
diff --git a/src/kernel/occurs.cpp b/src/kernel/occurs.cpp
index 44188b964..ab7b0ad69 100644
--- a/src/kernel/occurs.cpp
+++ b/src/kernel/occurs.cpp
@@ -5,7 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "kernel/occurs.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 
 namespace lean {
 template<typename F>
diff --git a/src/tests/library/deep_copy.cpp b/src/tests/library/deep_copy.cpp
index 4bd2ac879..f0e9a87d1 100644
--- a/src/tests/library/deep_copy.cpp
+++ b/src/tests/library/deep_copy.cpp
@@ -5,7 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "util/test.h"
-#include "kernel/for_each.h"
+#include "kernel/for_each_fn.h"
 #include "kernel/abstract.h"
 #include "library/deep_copy.h"
 using namespace lean;