Skip to content

Commit

Permalink
Fix problem matcher
Browse files Browse the repository at this point in the history
  • Loading branch information
jonaprieto committed Sep 5, 2024
1 parent dcef5a2 commit cddad12
Showing 1 changed file with 7 additions and 13 deletions.
20 changes: 7 additions & 13 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -441,22 +441,16 @@
"name": "juvixerror",
"owner": "juvixerror",
"source": "Juvix Error",
"fileLocation": "autoDetect",
"fileLocation": ["relative", "${workspaceFolder}"],
"pattern": [
{
"kind": "location",
"regexp": "^(.+):(\\d+)(?:-(\\d+))?:(\\d+)-(\\d+): (\\w+).*",
"regexp": "(?<file>.*):(?<line>\\d+):(?<begin_col>\\d+)-?(?<end_col>\\d+)?:\\s(?<err_type>.*):\\s?(?<msg>((\\n|.)*))",
"file": 1,
"line": 2,
"endLine": 3,
"column": 4,
"endColumn": 5,
"severity": 6
},
{
"regexp": "(.*)",
"message": 1,
"loop": true
"column": 3,
"severity": 4,
"message": 5,
"code": 6
}
]
}
Expand Down Expand Up @@ -890,4 +884,4 @@
"webpack": "^5.92.1",
"webpack-cli": "^5.1.4"
}
}
}

0 comments on commit cddad12

Please sign in to comment.