Support identifiers involving @

This symbol is supported by the existing corset tool. Therefore, to maintain backwards compatibility ... it must also be supported.
Consensys · Dec 20, 2024 · 76920cd · 76920cd
1 parent 4280d78
commit 76920cd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/pkg/corset/parser.go b/pkg/corset/parser.go
@@ -1273,7 +1273,7 @@ func isIdentifierStart(c rune) bool {
 }
 
 func isIdentifierMiddle(c rune) bool {
-	return unicode.IsDigit(c) || isIdentifierStart(c) || c == '-' || c == '!'
+	return unicode.IsDigit(c) || isIdentifierStart(c) || c == '-' || c == '!' || c == '@'
 }
 
 func isFunctionIdentifierStart(c rune) bool {

diff --git a/testdata/purefun_06.lisp b/testdata/purefun_06.lisp
@@ -1,6 +1,6 @@
 (defcolumns X Y)
-(defun (double x) (+ x x))
+(defun (double@d x) (+ x x))
 (defpurefun ((~eq :@loob) x y) (~ (- x y)))
 
 ;; Y == 2 * X
-(defconstraint c1 () (~eq Y (double X)))
+(defconstraint c1 () (~eq Y (double@d X)))