fixed mayMatch

usethesource · Feb 8, 2024 · 7a13680 · 7a13680
1 parent 401c332
commit 7a13680
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/interpreter/matching/NegativePattern.java b/src/org/rascalmpl/interpreter/matching/NegativePattern.java
@@ -46,7 +46,7 @@ public void initMatch(Result<IValue> subject){
 
 	@Override
 	public boolean mayMatch(Type subjectType, Environment env){
-		return pat.mayMatch(subjectType, env);
+		return subjectType.isSubtypeOf(tf.numberType()) && pat.mayMatch(subjectType, env);
 	}
 
 	@Override
@@ -56,7 +56,7 @@ public boolean hasNext() {
 
 	@Override
 	public boolean next() {
-		if(pat.next()) {
+		if (pat.next()) {
 			if (subject.getDynamicType().isNumber()) {
 				return ((INumber) subject.getValue()).lessEqual(IRascalValueFactory.getInstance().integer(0)).getValue();
 			}