Skip to content

Commit 81d6f34

Browse files
committed
Tag Optional as an operator...
And correct the name OptionAL, not Option.
1 parent 4124c92 commit 81d6f34

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

mathics_scanner/data/named-characters.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7751,10 +7751,11 @@ OpenCurlyQuote:
77517751
wl-unicode: "\u2018"
77527752
wl-unicode-name: LEFT SINGLE QUOTATION MARK
77537753

7754-
Option:
7754+
Optional:
77557755
ascii: ":"
77567756
has-unicode-inverse: false
77577757
is-letter-like: false
7758+
operator-name: Optional
77587759

77597760
OptionKey:
77607761
esc-alias: opt

0 commit comments

Comments
 (0)