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

feat(lua): add has_metavar method

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-14 10:28:50 -08:00
parent 9e445d1917
commit b0322787ff
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/bindings/lua/expr.cpp
View file

@ -18,6 +18,7 @@ Author: Leonardo de Moura
#include "kernel/for_each.h"
#include "kernel/free_vars.h"
#include "kernel/occurs.h"
#include "kernel/metavar.h"
#include "library/expr_lt.h"
#include "bindings/lua/util.h"
#include "bindings/lua/name.h"
@ -235,6 +236,7 @@ EXPR_PRED(is_value)
EXPR_PRED(is_metavar)
EXPR_PRED(has_free_vars)
EXPR_PRED(closed)
EXPR_PRED(has_metavar)
/**
\brief Iterator (closure base function) for application args. See \c expr_args
@ -406,6 +408,7 @@ static const struct luaL_Reg expr_m[] = {
{"instantiate", safe_function<expr_instantiate>},
{"abstract", safe_function<expr_abstract>},
{"occurs", safe_function<expr_occurs>},
{"has_metavar", safe_function<expr_has_metavar>},
{0, 0}
};