From 12266e37e7377a15a2070c040da20e8d69b64e26 Mon Sep 17 00:00:00 2001 From: tali Date: Thu, 11 Jan 2024 00:24:06 -0500 Subject: [PATCH] consider tab to be whitespace --- lib/irc/msg.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/irc/msg.ml b/lib/irc/msg.ml index aacb233..c3fa3ef 100644 --- a/lib/irc/msg.ml +++ b/lib/irc/msg.ml @@ -58,9 +58,9 @@ exception Incomplete let crlf = function '\r' | '\n' | '\x00' -> true | _ -> false let cl = function ':' -> true | _ -> false -let sp = function ' ' -> true | _ -> false -let nocrlf = function '\r' | '\n' | '\x00' -> false | _ -> true -let nospcrlf = function ' ' | '\r' | '\n' | '\x00' -> false | _ -> true +let sp = function ' ' | '\t' -> true | _ -> false +let nocrlf c = not (crlf c) +let nospcrlf c = not (sp c || crlf c) let startswith str f i = if i >= String.length str then