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 /doc/ale.txt | |
| 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 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 66ce8ab1..95110431 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -226,6 +226,8 @@ CONTENTS *ale-contents* write-good..........................|ale-pod-write-good| pony..................................|ale-pony-options| ponyc...............................|ale-pony-ponyc| + prolog................................|ale-prolog-options| + swipl...............................|ale-prolog-swipl| proto.................................|ale-proto-options| protoc-gen-lint.....................|ale-proto-protoc-gen-lint| pug...................................|ale-pug-options| @@ -453,6 +455,7 @@ Notes: * PO: `alex`!!, `msgfmt`, `proselint`, `write-good` * Pod: `alex`!!, `proselint`, `write-good` * Pony: `ponyc` +* Prolog: `swipl` * proto: `protoc-gen-lint` * Pug: `pug-lint` * Puppet: `languageserver`, `puppet`, `puppet-lint` |