diff --git a/src/.type_check_visitor.cpp.kate-swp b/src/.type_check_visitor.cpp.kate-swp deleted file mode 100644 index b7cba33..0000000 Binary files a/src/.type_check_visitor.cpp.kate-swp and /dev/null differ diff --git a/src/type_check_visitor.cpp b/src/type_check_visitor.cpp index 1a8ec88..24c71c8 100644 --- a/src/type_check_visitor.cpp +++ b/src/type_check_visitor.cpp @@ -1159,13 +1159,14 @@ void TypeCheckVisitor::Visit(AnnotatedName* node) { utils::IdType type = current_type_; if (!is_const_definition_.has_value()) { - error_handling::HandleInternalError("No value in is_const_definition_", "TypeCheckVisitor.AnnotatedName"); + error_handling::HandleInternalError("No value in is_const_definition_", + "TypeCheckVisitor.AnnotatedName"); } utils::ValueType value_type = context_manager_.GetValueType(type); if (value_type == utils::ValueType::Const && is_const_definition_.value() == utils::IsConstModifier::Var) { - error_handling::HandleTypecheckError("TupleName: value type expression not match variable definition modifier", node->base); + error_handling::HandleTypecheckError("AnnotatedName: value type expression not match variable definition modifier", node->base); } type = context_manager_.ToModifiedValue(type, utils::IsConstModifierToValueType(is_const_definition_.value()));