|
definition:
|
toString :: Config -> String -> [SrcLine] -> Message -> String
toString conf name src m = case m of
(Message (Span pS pE) sW sH) ->
pPrint (bold ( text name <> text ":" <+> posToDoc pS
<> text "-" <> posToDoc pE <> text ":" <+> warningToDoc sW
<$$> hintToDoc conf sH)
<$$> if (code conf && (verbosity conf) >= 1)
then getCodeDoc src (Span pS pE)
else empty
)
_ -> error "toString: Invalid Span"
|
|
demand:
|
argument 4
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Renders a single message in from of:
-- Startline, Starcolumn ; Endline, Endcolumn
-- Warning:
-- <warnmessage>
-- Hint_
-- <hintmessage>
|
|
failfree:
|
<FAILING>
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_,{Message}) |-> _}
|
|
name:
|
toString
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Types.Config -> String -> [(Prelude.Int, String)] -> Types.Message -> String
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|