From 1d7e71b4994d8df7a75c618a30ed9a04e58e3449 Mon Sep 17 00:00:00 2001 From: Vern Paxson Date: Mon, 5 Aug 2024 09:30:03 +0100 Subject: [PATCH] type-checking fix for vector-of-string operations --- src/Expr.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Expr.cc b/src/Expr.cc index d87526b654..9e77d3ec19 100644 --- a/src/Expr.cc +++ b/src/Expr.cc @@ -1992,8 +1992,10 @@ EqExpr::EqExpr(ExprTag arg_tag, ExprPtr arg_op1, ExprPtr arg_op2) } } - else if ( bt1 == TYPE_PATTERN && bt2 == TYPE_STRING ) - ; + else if ( (bt1 == TYPE_PATTERN && bt2 == TYPE_STRING) || (bt1 == TYPE_STRING && bt2 == TYPE_PATTERN) ) { + if ( op1->GetType()->Tag() == TYPE_VECTOR ) + ExprError("cannot compare string vectors with pattern vectors"); + } else ExprError("type clash in comparison");