|
definition:
|
checkPos :: SpanInfo -> SpanInfo -> String -> CSM ()
checkPos s1 s2 s = case (s1, s2) of
((SpanInfo (Span (Position lF cF) eP) _),
(SpanInfo (Span _ (Position lT _)) _)) ->
unless (lT == (lF-1))
(report (Message
(Span (Position lF cF) eP)
( colorizeKey "type signature" <+> text "wrong position")
( colorizeKey "type signature"
<+> text "of"
<+> colorizeKey s
<+> text "should be placed directly above its"
<+> colorizeKey "function declaration"
)
)
)
_ -> return ()
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Checks if from two spaninfos, whether or not one construct is ending
-- a line above where the second one starts.
|
|
failfree:
|
(_, _, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_) |-> _}
|
|
name:
|
checkPos
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Curry.SpanInfo.SpanInfo -> Curry.SpanInfo.SpanInfo -> 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
|