coq.json

{
    "problemMatcher": [
        {
            "owner": "coq-problem-matcher",
            "pattern": [
                {
                    "regexp": "^(?:-\\s+)?File \"([^ \"]+)\", line (\\d+), characters (\\d+-\\d+):",
                    "file": 1,
                    "line": 2,
                    "column": 3
                },
                {
                    "regexp": "^(?:-\\s+)?(Warning|Error):\\s*(.*?)(?:\\s*\\[(.*)\\])?$",
                    "severity": 1,
                    "message": 2,
                    "code": 3
                }
            ]
        }
    ]
}