This repository was archived by the owner on Dec 23, 2024. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -84,7 +84,7 @@ type FSharpMemberOrFunctionOrValue with
84
84
member x.IsOperatorOrActivePattern =
85
85
let name = x.DisplayName
86
86
if name.StartsWith " ( " && name.EndsWith " )" && name.Length > 4
87
- then name.Substring ( 2 , name.Length - 4 ) |> String.forall ( fun c -> c <> ' ' )
87
+ then name.IndexOf ( ' ' , 2 , name.Length - 4 ) = - 1
88
88
else false
89
89
90
90
Original file line number Diff line number Diff line change @@ -785,7 +785,7 @@ module internal Tokenizer =
785
785
let text = sourceText.GetSubText( span) .ToString()
786
786
// backticked ident
787
787
if text.EndsWith " ``" then
788
- match text.[.. text.Length - 3 ]. LastIndexOf " `` " with
788
+ match text.LastIndexOf ( " `` " , text.Length - 3 , text.Length - 2 ) with
789
789
| - 1 | 0 -> span
790
790
| index -> TextSpan( span.Start + index, text.Length - index)
791
791
else
@@ -798,9 +798,9 @@ module internal Tokenizer =
798
798
799
799
let isDoubleBacktickIdent ( s : string ) =
800
800
let doubledDelimiter = 2 * doubleBackTickDelimiter.Length
801
- if s.StartsWith ( doubleBackTickDelimiter ) && s.EndsWith ( doubleBackTickDelimiter) && s.Length > doubledDelimiter then
802
- let inner = s.Substring ( doubleBackTickDelimiter.Length, s.Length - doubledDelimiter)
803
- not ( inner.Contains( doubleBackTickDelimiter))
801
+ if s.Length > doubledDelimiter && s.StartsWith ( doubleBackTickDelimiter, StringComparison.Ordinal ) && s.EndsWith ( doubleBackTickDelimiter , StringComparison.Ordinal ) then
802
+ let inner = s.AsSpan ( doubleBackTickDelimiter.Length, s.Length - doubledDelimiter)
803
+ not ( inner.Contains( doubleBackTickDelimiter.AsSpan (), StringComparison.Ordinal ))
804
804
else false
805
805
806
806
let isIdentifier ( ident : string ) =
You can’t perform that action at this time.
0 commit comments