summaryrefslogtreecommitdiff
path: root/ale_linters/prolog
AgeCommit message (Collapse)Author
2021-01-23swipl: style fixD. Ben Knoble
2021-01-20prolog/swipl: simplify with @hsanson's suggestionsHoracio Sanson
https://github.com/dense-analysis/ale/pull/3377#issuecomment-763628447
2020-11-30fix blank line issue (???)D. Ben Knoble
2020-10-01prolog/swipl: add blank line after callD. Ben Knoble
Though I do not see this specified or followed anywhere else
2020-10-01prolog/swipl: address linter feedbackD. Ben Knoble
This actually caught a bug where I forgot to rename the function
2020-10-01prolog/swipl: update error format for new versionD. Ben Knoble
A recent(?) update to swipl changed the error format from Warning: some.pl:2: Singleton variables: [Y] to Warning: some.pl:2: Warning: Singleton variables: [Y] The old error handler doesn't report the correct line numbers and messages on the old format. I've chosen to add a function that covers the second case and detect it, rather than rewrite the current function. This way, both versions should be able to live together. --- Example file that demonstrates the issue (some.pl above): ``` % vim: ft=prolog ii(X, Y) :- X. ``` ---
2019-02-22#2132 - Replace all uses of foo_callback with foow0rp
2019-02-10Complain about binary operators on the ends of linesw0rp
2018-10-26Add prolog swipl linter (#1979)Takuya Fujiwara
* 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