CurryInfo: stylechecker-2.0.0 / Check.AST.Pattern.ThenTrueElseFalse

Check.AST.Pattern.ThenTrueElseFalse

checkThenTrueElseFalse checkThenTrueElseFalse'

module Check.AST.Pattern.ThenTrueElseFalse where

import Curry.SpanInfo
import Curry.Span
import Curry.Position
import Curry.Types
import Curry.Ident
import Text.Pretty

import Types

-- Applies actual check on if-then-else constructs. 
checkThenTrueElseFalse :: Expression a -> Int -> CSM ()
checkThenTrueElseFalse e _ =
  case e of
    (IfThenElse sI _
      (Constructor _ _ (QualIdent _ _ (Ident _ "True" _)))
      (Constructor _ _ (QualIdent _ _ (Ident _ "False" _)))) -> checkThenTrueElseFalse' sI "not "
    (IfThenElse sI _
      (Constructor _ _ (QualIdent _ _ (Ident _ "False" _)))
      (Constructor _ _ (QualIdent _ _ (Ident _ "True" _))))  -> checkThenTrueElseFalse' sI ""
    _                                                        -> return ()

-- Emits a warning for a superfluous if-then-else construct, given some span info.
checkThenTrueElseFalse' :: SpanInfo -> String -> CSM ()
checkThenTrueElseFalse' (SpanInfo sp _) s =
  report ( Message
           sp
           ( text "superfluous code"
           <+> colorizeKey "then bool else not (bool)"
           )
           ( text "write instead of if"
           <+> colorizeKey "condition"
           <+> text "then True (False) else False (True) just "
           <+> colorizeKey (s ++ "condition")
           )
         )
checkThenTrueElseFalse' NoSpanInfo _ = return ()

safe