From 9b1ea615a387d121a581dc35d0e5bb91d8162811 Mon Sep 17 00:00:00 2001
From: PHO <pho@cielonegro.org>
Date: Fri, 12 Mar 2010 16:05:29 +0900
Subject: [PATCH] 'parse' should assume EOF after w3cDateTime.

---
 Data/Time/W3C/Parser.hs | 11 +++++++----
 time-w3c.cabal          |  4 ++--
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/Data/Time/W3C/Parser.hs b/Data/Time/W3C/Parser.hs
index 64f96b2..8104ce8 100644
--- a/Data/Time/W3C/Parser.hs
+++ b/Data/Time/W3C/Parser.hs
@@ -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
diff --git a/time-w3c.cabal b/time-w3c.cabal
index 57124b3..dabe6dd 100644
--- a/time-w3c.cabal
+++ b/time-w3c.cabal
@@ -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
-- 
2.40.0