Update checkGroup.k as we no longer require groups are distinct from …

…built-ins
runtimeverification · Feb 12, 2024 · 0f086cd · 0f086cd
1 parent 4e7412e
commit 0f086cd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/k-distribution/tests/regression-new/checks/checkGroup.k b/k-distribution/tests/regression-new/checks/checkGroup.k
@@ -1,5 +1,5 @@
 // Copyright (c) Runtime Verification, Inc. All Rights Reserved.
-module TEST
+module CHECKGROUP
   syntax Int ::= r"[\\+-]?[0-9]+" [prefer, token, prec(2)]
-               | Int "+" Int [group(function)]
+               | Int "+" Int [group(fun,)]
 endmodule
diff --git a/k-distribution/tests/regression-new/checks/checkGroup.k.out b/k-distribution/tests/regression-new/checks/checkGroup.k.out
@@ -1,5 +1,5 @@
-[Error] Compiler: User-defined group 'function' conflicts with a built-in attribute.
+[Error] Compiler: group(_) attribute expects a comma separated list of groups, each of which consists of a lower case letter followed by any number of alphanumeric or '-' characters.
 	Source(checkGroup.k)
-	Location(4,18,4,47)
-	4 |	               | Int "+" Int [group(function)]
-	  .	                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+	Location(4,18,4,43)
+	4 |	               | Int "+" Int [group(fun,)]
+	  .	                 ^~~~~~~~~~~~~~~~~~~~~~~~~