CurryInfo: currypp-3.2.0 / CPP.ICode.Parser.ML.Warning.warn

definition: Info
 
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: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
push a new warning to an existent list of warnings
failfree: Info
 (_, _, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_) |-> {:}}
name: Info
 warn
precedence: Info
 no precedence defined
result-values: Info
 {:}
signature: Info
 ((Prelude.Int, Prelude.Int), Prelude.Int) -> CPP.ICode.Parser.ML.Types.WarnID
-> [(CPP.ICode.ParsePos.Pos, String)] -> [(CPP.ICode.ParsePos.Pos, String)]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms