[MLton] should Date.{fromString,scan} allow space instead of zero?

[Brent Fulgham]

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