Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
Diffstat (limited to 'main')
-rw-r--r--main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpParsedDocument.fs7
1 files changed, 4 insertions, 3 deletions
diff --git a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpParsedDocument.fs b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpParsedDocument.fs
index d27a38d171..eb0dde1670 100644
--- a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpParsedDocument.fs
+++ b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpParsedDocument.fs
@@ -28,9 +28,10 @@ type FSharpParsedDocument(fileName, location: DocumentLocation option) =
let tokenListToComment (tokenList: FSharpTokenInfo list, lineText: string) =
let comment =
tokenList
- |> List.filter(fun token -> token.CharClass = FSharpTokenCharKind.LineComment)
- |> List.map(fun token -> lineText.[token.LeftColumn..token.RightColumn])
- |> String.concat ""
+ |> Array.ofList
+ |> Array.filter(fun token -> token.CharClass = FSharpTokenCharKind.LineComment)
+ |> Array.map(fun token -> lineText.[token.LeftColumn..token.RightColumn])
+ |> System.String.Concat
comment.TrimStart('/', ' ')