diff options
author | Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-08 12:12:24 +0100 |
---|---|---|
committer | Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-08 12:12:24 +0100 |
commit | 028f15cce127360f29afa41754aab3816718492f (patch) | |
tree | 16f3c5463b3b3e07dff6d62bb742df3988025f53 /src/lspspec.sml | |
parent | d7ca451f01595ced7cfe70f43714ac2a1150915d (diff) |
Fixed smaller review remarks
Diffstat (limited to 'src/lspspec.sml')
-rw-r--r-- | src/lspspec.sml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/lspspec.sml b/src/lspspec.sml index bbc78606..0d766056 100644 --- a/src/lspspec.sml +++ b/src/lspspec.sml @@ -8,9 +8,7 @@ structure LspSpec = struct (TextIO.output (TextIO.stdErr, str ^ "\n\n"); TextIO.flushOut TextIO.stdErr) fun trim (s: substring): substring = - Substring.dropr - (fn c => c = #" " orelse c = #"\n" orelse c = #"\r") - (Substring.dropl (fn c => c = #" " orelse c = #"\n" orelse c = #"\r") s) + Substring.dropr Char.isSpace (Substring.dropl Char.isSpace s) fun readHeader (): (string * string) option = let |