protected bool agree(Expression expr, Type t)
{
return expr.agree(t);
}
protected bool is_reg(Expression expr, Type t, Mod mod)
{
if (expr == null) return false;
if (!is_reg(expr)) return false;
if (!expr.agree(t)) return false;
if (!expr.has_mod(mod)) return false;
return true;
}
