New module: Data.Eq.Indirect providing Eq' type class.

[Lucu.git] / Network / HTTP / Lucu / Postprocess.hs

diff --git a/Network/HTTP/Lucu/Postprocess.hs b/Network/HTTP/Lucu/Postprocess.hs
index 7157b7d56e9dd14c4dcaa635ce47be599d2d15f6..c3aec8ec7fa2f54deea73257d63cc743c72497f2 100644 (file)
--- a/Network/HTTP/Lucu/Postprocess.hs
+++ b/Network/HTTP/Lucu/Postprocess.hs
@@ -14,6 +14,7 @@ import Control.Monad
 import Control.Monad.Unicode
 import Data.Ascii (Ascii, CIAscii, AsciiBuilder)
 import Data.Convertible.Base
+import Data.Eq.Indirect
 import Data.Maybe
 import Data.Monoid.Unicode
 import GHC.Conc (unsafeIOToSTM)
@@ -47,16 +48,16 @@ abortOnCertainConditions (NI {..})
                    $ cs ("Inappropriate status code for a response: " ∷ Ascii)
                    ⊕ cs resStatus
 
-               when ( resStatus â\89\88 MethodNotAllowed ∧
-                      hasHeader "Allow" res        )
+               when ( resStatus â\89¡: MethodNotAllowed ∧
+                      (¬) (hasHeader "Allow" res)   )
                    $ abort'
                    $ cs ("The status was " ∷ Ascii)
                    ⊕ cs resStatus
                    ⊕ cs (" but no \"Allow\" header." ∷ Ascii)
 
-               when ( resStatus â\89\89 NotModified  ∧
-                      isRedirection resStatus  ∧
-                      hasHeader "Location" res )
+               when ( resStatus â\89¢: NotModified       ∧
+                      isRedirection resStatus        ∧
+                      (¬) (hasHeader "Location" res) )
                    $ abort'
                    $ cs ("The status code was " ∷ Ascii)
                    ⊕ cs resStatus