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 /README.md | |
| 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 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -165,6 +165,7 @@ formatting. | PO | [alex](https://github.com/wooorm/alex) !!, [msgfmt](https://www.gnu.org/software/gettext/manual/html_node/msgfmt-Invocation.html), [proselint](http://proselint.com/), [write-good](https://github.com/btford/write-good) | | Pod | [alex](https://github.com/wooorm/alex) !!, [proselint](http://proselint.com/), [write-good](https://github.com/btford/write-good) | | Pony | [ponyc](https://github.com/ponylang/ponyc) | +| Prolog | [swipl](https://github.com/SWI-Prolog/swipl-devel) | | proto | [protoc-gen-lint](https://github.com/ckaznocha/protoc-gen-lint) | | Pug | [pug-lint](https://github.com/pugjs/pug-lint) | | Puppet | [languageserver](https://github.com/lingua-pupuli/puppet-editor-services), [puppet](https://puppet.com), [puppet-lint](https://puppet-lint.com) | |