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

[Stephen Weeks]

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

should not.

The current release of MLton (20040227) accepts both, but I recently
changed it to follow the spec.  I am now having second thoughts -- as
suggested by Peter Sestoft on the basis library discussion list, many
programs generate dates with the space, so it seems better to be
permissive when parsing a date to accept the space.

If we deviate, I could add a comment to the basis library section of
the user guide.