X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Network%2FHTTP%2FLucu%2FPostprocess.hs;h=b31c0ee5ef6bd819498584ed89bc7d036a34b90c;hb=eb77281;hp=7157b7d56e9dd14c4dcaa635ce47be599d2d15f6;hpb=246d66d6d3130e03834a6c3badc38711a1879aae;p=Lucu.git

diff --git a/Network/HTTP/Lucu/Postprocess.hs b/Network/HTTP/Lucu/Postprocess.hs
index 7157b7d..b31c0ee 100644
--- a/Network/HTTP/Lucu/Postprocess.hs
+++ b/Network/HTTP/Lucu/Postprocess.hs
@@ -47,16 +47,16 @@ abortOnCertainConditions (NI {..})
                    $ cs ("Inappropriate status code for a response: " ∷ Ascii)
                    ⊕ cs resStatus
 
-               when ( resStatus ≈ MethodNotAllowed ∧
-                      hasHeader "Allow" res        )
+               when ( resStatus ≡ cs MethodNotAllowed ∧
+                      (¬) (hasHeader "Allow" res)     )
                    $ abort'
                    $ cs ("The status was " ∷ Ascii)
                    ⊕ cs resStatus
                    ⊕ cs (" but no \"Allow\" header." ∷ Ascii)
 
-               when ( resStatus ≉ NotModified  ∧
-                      isRedirection resStatus  ∧
-                      hasHeader "Location" res )
+               when ( resStatus ≢ cs NotModified     ∧
+                      isRedirection resStatus        ∧
+                      (¬) (hasHeader "Location" res) )
                    $ abort'
                    $ cs ("The status code was " ∷ Ascii)
                    ⊕ cs resStatus