$ cs ("Inappropriate status code for a response: " ∷ Ascii)
⊕ cs resStatus
- when ( resStatus â\89\88 MethodNotAllowed ∧
- hasHeader "Allow" res )
+ when ( resStatus â\89¡ cs 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¢ cs NotModified ∧
+ isRedirection resStatus ∧
+ (¬) (hasHeader "Location" res) )
$ abort'
$ cs ("The status code was " ∷ Ascii)
⊕ cs resStatus