Tweak parsed type error warning.
This commit is contained in:
parent
828be79ab5
commit
b23ffe1b21
|
@ -17,8 +17,8 @@ type_ptr parsed_type_app::to_type(
|
||||||
std::ostringstream error_stream;
|
std::ostringstream error_stream;
|
||||||
error_stream << "invalid application of type ";
|
error_stream << "invalid application of type ";
|
||||||
error_stream << name;
|
error_stream << name;
|
||||||
error_stream << "(" << base_type->arity << " arguments expected, ";
|
error_stream << " (" << base_type->arity << " argument(s) expected, ";
|
||||||
error_stream << "but " << arguments.size() << " were provided)";
|
error_stream << "but " << arguments.size() << " provided)";
|
||||||
throw type_error(error_stream.str());
|
throw type_error(error_stream.str());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user