Char.is_whitespace is documented to return true only for ' ','\n','\t','\r'. Why doesn't it recognize '\f' and '\v' (form-feed and vertical tab)? POSIX and C both consider these to be whitespace, so it is very surprising that Core doesn't.
Char.is_whitespace is documented to return true only for ' ','\n','\t','\r'. Why doesn't it recognize '\f' and '\v' (form-feed and vertical tab)? POSIX and C both consider these to be whitespace, so it is very surprising that Core doesn't.