[MLton] should Date.{fromString,scan} allow space instead of
zero?
Brent Fulgham
bfulgham@debian.org
Mon, 06 Sep 2004 23:52:16 -0700
On 2004-09-06 17:57:26 -0700 Stephen Weeks <sweeks@sweeks.com> wrote:
> Does anyone have any thoughts on how we should handle the fact that
> the Basis Library spec requires the day to contain two digits (the
> first digit can not be a space) for the purposes of of
> Date.{fromString,scan}? To be concrete, the spec says that
>
> Fri Jul 05 14:25:16 1996
>
> should be accepted but that
>
> Fri Jul 5 14:25:16 1996
While the Basis specification is correct with respect ot RFC1123
(http://www.faqs.org/rfcs/rfc1123.html),
most UNIXes don't seem to comply with this. It seems relatively
harmless to be more forgiving of
input, as long as we always formulate our output in RFC1123 fashion.
-Brent