Add some unicode operators in Eiffel (#2048)

rouge-ruby · 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,