'parse' should assume EOF after w3cDateTime.
authorPHO <pho@cielonegro.org>
Fri, 12 Mar 2010 07:05:29 +0000 (16:05 +0900)
committerPHO <pho@cielonegro.org>
Fri, 12 Mar 2010 07:05:29 +0000 (16:05 +0900)
Data/Time/W3C/Parser.hs
time-w3c.cabal

index 64f96b28e2f79259f80d0279dca056cc9afee5df..8104ce82772f280e4713480b18c4c9f1322e438f 100644 (file)
@@ -10,7 +10,10 @@ import Data.Time.W3C.Parser.Parsec
 import Data.Time.W3C.Types
 
 parse :: Convertible W3CDateTime t => String -> Maybe t
-parse src
-    = case P.parse w3cDateTime "" src of
-        Right w3c -> Just (convert w3c)
-        Left  _   -> Nothing
+parse src = case P.parse p "" src of
+              Right w3c -> Just (convert w3c)
+              Left  _   -> Nothing
+    where
+      p = do w3c <- w3cDateTime
+             _   <- P.eof
+             return w3c
\ No newline at end of file
index 57124b3b6a4666fe4777f2f4d3a6735f8aa8fb1e..dabe6dd24359b12db250b27b4c3c7dd6e5f5cc22 100644 (file)
@@ -4,8 +4,8 @@ Synopsis:            Parse, format and convert W3C Date and Time
 Description:
         This module provides functionalities to parse and format W3C
         Date and Time. The module can also be used to convert it
-        from/to "Data.Time.Calendar.Day" and
-        "Data.Time.LocalTime.ZonedTime".
+        from/to 'Data.Time.Calendar.Day' and
+        'Data.Time.LocalTime.ZonedTime'.
 
 License:             PublicDomain
 License-file:        COPYING