SourcePos package:alex-tools

Update a SourcePos for a particular matched character
Pretty print the source position without the file name.
Pretty print the source position, including the file name.
Update a SourcePos for a particular matched character