diff options
| author | stuebinm | 2021-09-17 23:50:45 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-17 23:50:45 +0200 |
| commit | bfe45dc4996537b72436f4041d0ca819aa3444e1 (patch) | |
| tree | 70e4966273b5447159bf39b4556e02affe911801 /.gitignore | |
| parent | 7a9226d84cf9dde33d0fc3e7852a22c36ab1c39b (diff) | |
(somewhat) reasonable representation of parse errors
This makes map loading (and parsing) part of the linter, and also makes
it return "general lints" and nothing else in case that failed.
Possibly a sum type would be nicer here, but I guess it's not really
important since everything ends up as json anyways?
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions