int colStart = s.indexOf("^", colMarkerStart);
int colEnd = s.lastIndexOf("^", colMarkerEnd);
int msgStart = colMarkerEnd + 1;
int msgEnd = s.indexOf("\n", msgStart);
String msg = s.substring(msgStart, msgEnd);
errors.add(Pair.create(new SourceLocation(new AbsolutePath(file), line, line, colStart, colEnd), msg));
index = msgEnd + 1;
}
return errors;
}