The constructor for Gobstones lexer PragmaNotImplementedYetWarning warning.
A string indicating the pragma that is not implemented yet.
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 particular pragma is not yet implemented.