diff options
| author | Evan Borden <eborden@users.noreply.github.com> | 2018-09-28 04:05:01 -0400 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2018-09-28 09:05:01 +0100 |
| commit | a8915d885b79ba8e243c228c9f38dddbcb1c479a (patch) | |
| tree | e3d0549ec17717a8ad5a3a66c4fb5dbc63d83c07 /ale_linters/dafny | |
| parent | a26b3319a1f37c82be8098b6eae4e6f2985a31eb (diff) | |
| download | ale-a8915d885b79ba8e243c228c9f38dddbcb1c479a.zip | |
Add better support for Haskell stack compiler tools (#1851)
* Add better support for Haskell stack compiler tools
This commit adds support for `stack` as the executable of a tool. This
follows a pattern that has been implemented for `bundler`'s tool chain.
* Move hlint command to linter file
* Add vader test for stack exec handling
* Update ghc-mod to support stack execution
`ghc-mod` was previously broken into 2 linters.
1. ghc_mod
2. stack_ghc_mod
This additional linter is not necessary with proper support for
executable variables and `stack exec` handling.
* Support stack exec in hfmt
* Support stack in hdevtools
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions