From dbabec0db6ed835855fc8a4b201b9f382f67ea7e Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 10 Sep 2020 14:04:06 -0700 Subject: [PATCH] Tweak parsed type error warning. --- code/compiler/13/parsed_type.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/code/compiler/13/parsed_type.cpp b/code/compiler/13/parsed_type.cpp index cd73792..d119509 100644 --- a/code/compiler/13/parsed_type.cpp +++ b/code/compiler/13/parsed_type.cpp @@ -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()); }