|
definition:
|
checkListTuple' :: SpanInfo -> SpanInfo -> [Expression a] -> Int -> String -> CSM ()
checkListTuple' si1 si2 (exp:exps) i s = case (si1, si2) of
((SpanInfo rhsSp@(Span (Position eql1 _) (Position _ _)) _),
(SpanInfo (Span (Position l1 c1) (Position l2 _)) symbSpans)) -> do
unless (eql1 == l1)
(unless ((i+2) == c1)
(report (Message rhsSp
(colorizeKey (s ++ " declaration") <+> text "wrong formatting")
( text "either write"
<+> colorizeKey "right-hand-side"
<+> text "right after the equation sign or start in new line and 2 indentation"
)
)
)
)
unless (l1 == l2)
(if (spanAlign symbSpans)
then
(unless (checkAlign getCol (getCol (getSpanInfo exp)) exps)
(report (Message rhsSp
(colorizeKey (s ++ " elements") <+> text "not aligned")
( text "align"
<+> colorizeKey "list elements"
)
)
)
)
else
(report (Message rhsSp
(colorizeKey (s ++ " symbols") <+> text "not aligned")
( text "align"
<+> colorizeKey "("
<+> text "or"
<+> colorizeKey "["
<> text ","
<+> colorizeKey ")"
<+> text "or"
<+> colorizeKey "]"
<+> text "and"
<+> colorizeKey ","
)
)
)
)
_ -> return ()
checkListTuple' _ _ [] _ _ = return ()
|
|
demand:
|
argument 3
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Checks indentation and alignment if a declaration is not in one line.
|
|
failfree:
|
(_, _, _, _, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,{:},_,_) |-> _ || (_,_,{[]},_,_) |-> _}
|
|
name:
|
checkListTuple'
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Curry.SpanInfo.SpanInfo -> Curry.SpanInfo.SpanInfo -> [Curry.Types.Expression a]
-> Prelude.Int -> String
-> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity ()
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|