SourceError type

[AshleyYakeley]

datatype SourceError of
    Mk Text Integer Integer Text;
end

or

datatype SourceError of
    Mk of
        name: Text;
        row: Integer;
        column: Integer;
        error: Text;
    end;
end