|
|
|
@ -17,8 +17,8 @@ type_ptr parsed_type_app::to_type( |
|
|
|
|
std::ostringstream error_stream; |
|
|
|
|
error_stream << "invalid application of type "; |
|
|
|
|
error_stream << name; |
|
|
|
|
error_stream << "(" << base_type->arity << " arguments expected, "; |
|
|
|
|
error_stream << "but " << arguments.size() << " were provided)"; |
|
|
|
|
error_stream << " (" << base_type->arity << " argument(s) expected, "; |
|
|
|
|
error_stream << "but " << arguments.size() << " provided)"; |
|
|
|
|
throw type_error(error_stream.str()); |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|