Tests for Data.Time.RFC733

[time-http.git] / Test / Time / HTTP.hs

diff --git a/Test/Time/HTTP.hs b/Test/Time/HTTP.hs
index d15836aaef01560a1438a694f62751c37b3bc19f..d6f76cf262f72eda1a8e5dce867838defdb28152 100644 (file)
--- a/Test/Time/HTTP.hs
+++ b/Test/Time/HTTP.hs
@@ -8,6 +8,7 @@ import Control.Applicative
 import Control.Applicative.Unicode
 import Data.Time
 import qualified Data.Time.Asctime as Asctime
+import qualified Data.Time.RFC733  as RFC733
 import qualified Data.Time.RFC1123 as RFC1123
 import System.Exit
 import Prelude.Unicode
@@ -61,6 +62,15 @@ tests = [ -- Asctime
 
         , property $ \lt → Right lt ≡ Asctime.fromAscii (Asctime.toAscii lt)
 
+          -- RFC733
+        , property ( RFC733.fromAscii "Sunday, 06-Nov-94 08:49:37 GMT"
+                     ≡ Right referenceZonedTime )
+
+        , property ( "Sunday, 06-Nov-1994 08:49:37 GMT"
+                     ≡ RFC733.toAscii referenceZonedTime )
+
+        , property $ \zt → Right zt ≡ RFC733.fromAscii (RFC733.toAscii zt)
+
           -- RFC1123
         , property ( RFC1123.fromAscii "Sun, 06 Nov 1994 08:49:37 GMT"
                      ≡ Right referenceZonedTime )