definition: |
warn :: TPos -> WarnID -> [Warning] -> [Warning] warn pos id ws = (fromSimplePos (fst pos),msg) : ws where msg = case id of TagNameFirstDigit -> "ignored first tag name character because it is a digit" TagNameNotAlphaNum -> "ignored tag name character because it is not alphanumerical" TagEndsUnexpected -> "unexpected characters at end of tag" UnquotedAttributeEmpty -> "unquoted attribute values must not be empty" Unquoted c -> "ignored " ++ [c] ++ " in unquoted attribute value" AttributesUnseperated -> "attributes must be seperated by at least one space character" UnexpectedEndTag -> "ignored unexpected end tag" SingleEndTag -> "end tag without previous start tag" |
demand: |
no demanded arguments |
deterministic: |
deterministic operation |
documentation: |
push a new warning to an existent list of warnings |
failfree: |
(_, _, _) |
indeterministic: |
referentially transparent operation |
infix: |
no fixity defined |
iotype: |
{(_,_,_) |-> {:}} |
name: |
warn |
precedence: |
no precedence defined |
result-values: |
{:} |
signature: |
((Prelude.Int, Prelude.Int), Prelude.Int) -> CPP.ICode.Parser.ML.Types.WarnID -> [(CPP.ICode.ParsePos.Pos, String)] -> [(CPP.ICode.ParsePos.Pos, String)] |
solution-complete: |
operation might suspend on free variables |
terminating: |
yes |
totally-defined: |
reducible on all ground data terms |