blob: f89656598a8a33c41f5c6be0e5d354aa53086b6f (
plain)
1
2
3
4
5
6
7
|
"RealSrcLoc SrcLoc \"filename\" 1 3"
"RealSrcLoc SrcLoc \"filename\" 1 5"
"UnhelpfulLoc \"bad loc\""
"RealSrcSpan SrcSpanPoint \"filename\" 1 3"
"RealSrcSpan SrcSpanOneLine \"filename\" 1 3 5"
"RealSrcSpan SrcSpanMultiLine \"filename\" 1 5 10 1"
"UnhelpfulSpan \"bad span\""
|
