diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-22 17:15:50 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-09-19 20:49:54 -0400 |
| commit | ffe3fd8a719be8d02b03bac6bc8232a7bc9fa692 (patch) | |
| tree | 64aed59c9c6c22ae607c7379d2667cd71ef8d5d0 /.ghci | |
| parent | 2bab1000e2cbac69f3cd7d6c437eb63a63843b57 (diff) | |
Lint faster by grouping files by extension
Previously I would lint every file individually, in serial. This took
forever. Now I group the files by extension (by first getting the Namespace) and
run each linter on all relevant files at once. This is so much faster its
stupid.
Also I added formatters back into the dev env because my editor needs them to
autoformat.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions