type_error::type_error(const std::string& str) : message(str) { if(call_stack.empty() == false && call_stack.back()) { message += "\n" + call_stack.back()->debug_pinpoint_location(); } std::cerr << "ERROR: " << message << "\n" << get_call_stack(); std::cerr << output_formula_error_info(); }
type_error::type_error(const std::string& str) : message(str) { std::cerr << "ERROR: " << message << "\n" << get_call_stack(); output_formula_error_info(); }