The constructor for Gobstones lexer MalformedPragmaWarning warning.
A string indicating the pragma that is malformed.
A string indicating the number of arguments given.
Optional
span: SpanThe span in the source where the token where error was detected started. It may be undefined, in which case an Unknown span is used (with both start and end as UnknownPosition).
A Lexer warning signaling that a pragma is malformed (has the wrong number of arguments).