Add some unicode operators in Eiffel (rouge-ruby#2048)

tancnle · May 13, 2024 · 2aac611 · 2aac611
1 parent 1ab0290
commit 2aac611
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/lib/rouge/lexers/eiffel.rb b/lib/rouge/lexers/eiffel.rb
@@ -44,7 +44,7 @@ class convert create debug deferred detachable do else elseif end
         rule %r/(?:\d(?:_*\d)*)?\.(?:(?:\d(?:_*\d)*)?[eE][+-]?)?\d(?:_*\d)*|\d(?:_*\d)*\.?/, Num::Float
 
         rule %r/:=|<<|>>|\(\||\|\)|->|\.|[{}\[\];(),:?]/, Punctuation::Indicator
-        rule %r/\\\\|\|\.\.\||\.\.|\/[~\/]?|[><\/]=?|[-+*^=~]/, Operator
+        rule %r/\\\\|\|\.\.\||\.\.|\/[~\/]?|[><\/]=?|[-+*^=~≤≥−∀∃¦⟳⟲]/, Operator
 
         rule %r/[A-Z][\dA-Z_]*/, Name::Class
         rule %r/[A-Za-z][\dA-Za-z_]*/, Name

diff --git a/spec/visual/samples/eiffel b/spec/visual/samples/eiffel
@@ -1,4 +1,9 @@
+-- Unicode operators
+1 ≥ -a -- Unicode minus
+∀ x: array ¦ ∃ y: array ¦ x = y
+⟳ x: array ¦ print (x.out) ⟲
 
+-- Real class example
 note
 	description: "[
 		Sequences of values, all of the same type or of a conforming one,