On 2011-07-02 13:22, Yitzchak Gale wrote:
Ashley, heads up! I am CCing you on this message because
I think a problem has been found with Data.Time.Format.

Thanks Yitzchak.

when you think that this is not a parseable date:
2011/1/30 (because the month must be padded by zeros).

Hmm, that does seem wrong. The C API allows that to be
parsed using the format "%Y/%m/%d", since the leading zero
for %m and %d are optional when parsing.
See, for example,
http://pubs.opengroup.org/onlinepubs/009695399/functions/strptime.html

This was fixed in time-1.2.0.5. From the haddock for parseTime:

"Supports the same %-codes as formatTime, including %-, %_ and %0 modifiers."

With ghci:

Prelude System.Locale Data.Time> parseTime defaultTimeLocale "%Y/%-m/%-d" "2011/1/30" :: Maybe Day
Loading package old-locale-1.0.0.2 ... linking ... done.
Loading package time-1.2.0.5 ... linking ... done.
Just 2011-01-30

--
Ashley Yakeley

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to