-- the end column of a SrcSpan is one
                              -- greater than the last column of the
                              -- span (see SrcLoc), whereas HPC
                              -- expects to the column range to be
                              -- inclusive, hence we subtract one above.
mkHpcPos _ = panic "bad source span; expected such spans to be filtered out"
mkHpcPos _ = panic "bad source span; expected such spans to be filtered out"
mkHpcPos _ = panic "bad source span; expected such spans to be filtered out"