RepoMirrors/ale - ale

Commit Graph

Author	SHA1	Message	Date
w0rp	883978ece9	#2132 - Replace all uses of foo_callback with foo	2019-02-22 18:05:04 +00:00
w0rp	7a48750610	Complain about binary operators on the ends of lines	2019-02-10 11:43:48 +00:00
Takuya Fujiwara	34318aedf4	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	2018-10-26 17:29:17 +01:00

Author

SHA1

Message

Date

w0rp

883978ece9

#2132 - Replace all uses of foo_callback with foo

2019-02-22 18:05:04 +00:00

w0rp

7a48750610

Complain about binary operators on the ends of lines

2019-02-10 11:43:48 +00:00

Takuya Fujiwara

34318aedf4

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

2018-10-26 17:29:17 +01:00

3 Commits