diff options
| author | Takuya Fujiwara <tyru.exe@gmail.com> | 2018-10-27 01:29:17 +0900 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2018-10-26 17:29:17 +0100 |
| commit | 34318aedf4ffaf4558a102db6c03ae3b13d5ff08 (patch) | |
| tree | 283fb2a9e72c80aacf07dc2bdeb2bb0ca1960c2d /ale_linters/verilog/verilator.vim | |
| parent | 3d74a4f8a6d89ccaf5194736ab91936124d62cb1 (diff) | |
| download | ale-34318aedf4ffaf4558a102db6c03ae3b13d5ff08.zip | |
Add prolog swipl linter (#1979)
* add prolog/swipl linter
* use load_files/2 instead of read_term/2
Because it also checks some semantic warnings / errors
not only syntactic warnings / errors.
e.g.:
* singleton warning
* discontiguous warning
* ...
cf. http://www.swi-prolog.org/pldoc/doc_for?object=style_check/1
* support error messages with no line number
:- module(module_name, [pred/0]).
causes
ERROR: Exported procedure module_name:pred/0 is not defined
* add test for prolog/swipl handler
* cosmetic fixes
* detect timeout using SIGALRM
* rename g:prolog_swipl_goals to g:prolog_swipl_load
* write doc for prolog/swipl linter
* update toc and README
* fix ignore patterns
Diffstat (limited to 'ale_linters/verilog/verilator.vim')
0 files changed, 0 insertions, 0 deletions