diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-12-06 15:37:17 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-12-06 15:37:17 +0100 |
| commit | b2572f9d48a8f0efd30014302dcc271cd89fa91e (patch) | |
| tree | d355df33cd125389b582274ae3fed6e7bcabcacb /src/syntax/tokens.rs | |
| parent | 3ecb0c754bc1777e002a43e4c34b27e676f9a95c (diff) | |
Math shorthands
Diffstat (limited to 'src/syntax/tokens.rs')
| -rw-r--r-- | src/syntax/tokens.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/syntax/tokens.rs b/src/syntax/tokens.rs index 57188096..ff6a1a96 100644 --- a/src/syntax/tokens.rs +++ b/src/syntax/tokens.rs @@ -439,6 +439,18 @@ impl Tokens<'_> { impl Tokens<'_> { fn math(&mut self, start: usize, c: char) -> SyntaxKind { match c { + // Symbol shorthands. + '|' if self.s.eat_if("->") => SyntaxKind::Shorthand('\u{21A6}'), + '<' if self.s.eat_if("->") => SyntaxKind::Shorthand('\u{2194}'), + '<' if self.s.eat_if("=>") => SyntaxKind::Shorthand('\u{21D4}'), + '!' if self.s.eat_if('=') => SyntaxKind::Shorthand('\u{2260}'), + '<' if self.s.eat_if('=') => SyntaxKind::Shorthand('\u{2264}'), + '>' if self.s.eat_if('=') => SyntaxKind::Shorthand('\u{2265}'), + '<' if self.s.eat_if('-') => SyntaxKind::Shorthand('\u{2190}'), + '-' if self.s.eat_if('>') => SyntaxKind::Shorthand('\u{2192}'), + '=' if self.s.eat_if('>') => SyntaxKind::Shorthand('\u{21D2}'), + ':' if self.s.eat_if('=') => SyntaxKind::Shorthand('\u{2254}'), + // Multi-char things. '#' => self.hash(start), |
