consider tab to be whitespace
This commit is contained in:
parent
4d95927bfa
commit
12266e37e7
|
@ -58,9 +58,9 @@ exception Incomplete
|
||||||
|
|
||||||
let crlf = function '\r' | '\n' | '\x00' -> true | _ -> false
|
let crlf = function '\r' | '\n' | '\x00' -> true | _ -> false
|
||||||
let cl = function ':' -> true | _ -> false
|
let cl = function ':' -> true | _ -> false
|
||||||
let sp = function ' ' -> true | _ -> false
|
let sp = function ' ' | '\t' -> true | _ -> false
|
||||||
let nocrlf = function '\r' | '\n' | '\x00' -> false | _ -> true
|
let nocrlf c = not (crlf c)
|
||||||
let nospcrlf = function ' ' | '\r' | '\n' | '\x00' -> false | _ -> true
|
let nospcrlf c = not (sp c || crlf c)
|
||||||
|
|
||||||
let startswith str f i =
|
let startswith str f i =
|
||||||
if i >= String.length str then
|
if i >= String.length str then
|
||||||
|
|
Loading…
Reference in New Issue