From 7a13680734e8ed87cf805cff823aaab84ef10fda Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 8 Feb 2024 11:31:13 +0100
Subject: [PATCH] fixed mayMatch

---
 src/org/rascalmpl/interpreter/matching/NegativePattern.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/org/rascalmpl/interpreter/matching/NegativePattern.java b/src/org/rascalmpl/interpreter/matching/NegativePattern.java
index f47aaaabb22..40bf1d5a332 100644
--- 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();
 			}