X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=time-http.git;a=blobdiff_plain;f=Test%2FTime%2FHTTP.hs;fp=Test%2FTime%2FHTTP.hs;h=d6f76cf262f72eda1a8e5dce867838defdb28152;hp=d15836aaef01560a1438a694f62751c37b3bc19f;hb=e7ac0839f2d4beb2fe79f903222e04e797a47dd4;hpb=c1ed8dad6fbdd59c75d047e481997a98e33c2535 diff --git a/Test/Time/HTTP.hs b/Test/Time/HTTP.hs index d15836a..d6f76cf 100644 --- 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 )