michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add static_asserts for higher-order functions in kernel/for_each.h and kernel/pp.cpp

Browse source
This commit is contained in:
Soonho Kong 2013-08-08 16:12:27 -07:00
parent e5fe016a44
commit a1229692b0
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/kernel/for_each.h
View file

@ -13,6 +13,8 @@ template<typename F>
class for_each_fn { class for_each_fn {
expr_cell_offset_set m_visited; expr_cell_offset_set m_visited;
F m_f; F m_f;
static_assert(std::is_same<typename std::result_of<F(expr const &, unsigned)>::type, void>::value,
"for_each_fn: return type of m_f is not void");
void apply(expr const & e, unsigned offset) { void apply(expr const & e, unsigned offset) {
if (is_shared(e)) { if (is_shared(e)) {
@ -22,7 +24,7 @@ class for_each_fn {
m_visited.insert(p); m_visited.insert(p);
} }
m_f(e, offset); m_f(e, offset);
switch (e.kind()) { switch (e.kind()) {
case expr_kind::Constant: case expr_kind::Type: case expr_kind::Value: case expr_kind::Var: case expr_kind::Constant: case expr_kind::Type: case expr_kind::Value: case expr_kind::Var:

2
src/kernel/pp.cpp
View file

@ -117,6 +117,8 @@ struct pp_fn {
template<typename It> template<typename It>
format pp_bnames(It const & begin, It const & end, bool use_line) { format pp_bnames(It const & begin, It const & end, bool use_line) {
static_assert(std::is_same<typename std::iterator_traits<It>::value_type, expr>::value,
"pp_bnames takes an argument which is not an iterator containing expr.");
auto it = begin; auto it = begin;
format r = pp_bname(*it); format r = pp_bname(*it);
++it; ++it;