Last active
January 21, 2020 09:48
-
-
Save pmoura/a0c30e5a7c50e9b27044cd0a6c068747 to your computer and use it in GitHub Desktop.
Lint warnings for ale.swi.pl
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
?- logtalk_compile('ale.swi.pl'). | |
* Suspicious call: \+A=(B intro C) instead of A\=(B intro C) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1435-1438 | |
* | |
* Suspicious call: sub_type(A,B),\+A=a_ C,sub_type(D,B),\+D=a_ E in setof/3 goal contains singleton variables [C,E] | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1481-1488 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1481-1488 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1481-1488 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1713-1735 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1713-1735 | |
* | |
* Suspicious call: \+A=(B goal C) instead of A\=(B goal C) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1871-1877 | |
* | |
* Suspicious call: A=..[add_to_type_a_,B,C,D,E,F] instead of A=add_to_type_a_(B,C,D,E,F) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2000-2012 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2076-2081 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2076-2081 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2142-2145 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2154-2156 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2412-2419 | |
* | |
* Suspicious call: extensional(A)->approps(A,B),length(B,C),functor(D,A,C),E=[traverseQ(F,G,D,H,F,I,J)] as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2467-2475 | |
* | |
* Suspicious call: \+A=B instead of A\=B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2529-2560 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2562-2563 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2565-2572 | |
* | |
* Suspicious call: edge_assertz(A,B,C,D,E,F,G,H)->rule(C,D,E,A,B,H,I) as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2741-2749 | |
* | |
* Suspicious call: edge_assertz(A,B,C,D,E,F,G,H)->rule(C,D,E,A,B,H,I) as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2741-2749 | |
* | |
* Suspicious call: edge_assertz(A,B,C,D,E,F,G,H)->rule(C,D,E,A,B,H,I) as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2751-2758 | |
* | |
* Suspicious call: edge_assertz(A,B,C,D,E,F,G,H)->rule(C,D,E,A,B,H,I) as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2751-2758 | |
* | |
* Suspicious call: print_edge(A,B,C,D,E,F,G,H)->gennum(I),asserta(to_rebuild(I)),asserta(edge(I,A,B,C,D,E,F,G)) as else part of the conditional is missing | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 3224-3230 | |
* | |
* Suspicious call: A=..[add_to_type_a_,B,C,D,E,F] instead of A=add_to_type_a_(B,C,D,E,F) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 4513-4515 | |
* | |
* Suspicious call: A=..[add_to_type_a_,B,C,D,E,F] instead of A=add_to_type_a_(B,C,D,E,F) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 4616-4619 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5050-5051 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5052-5053 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5054-5055 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5056-5057 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5058-5059 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5060-5064 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5065-5066 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5067-5068 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5069-5070 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5071-5072 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5073-5074 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5075-5076 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5077-5078 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5079-5080 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5081-5082 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5083-5084 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5085-5086 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5089-5090 | |
* | |
* Suspicious call: ! in clause for multifile predicate alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5091-5092 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5234-5245 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5246-5258 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5246-5258 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5259-5269 | |
* | |
* Suspicious call: type(A),\+imm_sub_type(B,A),A\==bot,\+A=a_ C in setof/3 goal contains singleton variables [B,C] | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5279-5294 | |
* | |
* Suspicious call: \+A=a_ B instead of A\=a_ B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5279-5294 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5795-5804 | |
* | |
* Suspicious call: A^((A+++>B),functor(A,C,D)) in setof/3 goal contains singleton variable B | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6044-6053 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6298-6304 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6311-6317 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6348-6355 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6492-6495 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6492-6495 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6496-6503 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6496-6503 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6496-6503 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6504-6509 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6504-6509 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6510-6512 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6515-6521 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6515-6521 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6515-6521 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6526-6531 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6526-6531 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6534-6548 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6534-6548 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6534-6548 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6534-6548 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6552-6554 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6598-6611 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6598-6611 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6759-6786 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6759-6786 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6759-6786 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6788-6790 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6791-6792 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6796-6798 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6806-6810 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6844-6858 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6884-6887 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6884-6887 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6888-6895 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6888-6895 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6888-6895 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6896-6901 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6896-6901 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6902-6904 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6907-6913 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6907-6913 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6907-6913 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6914-6919 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6914-6919 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6920-6930 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 6936-6938 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7031-7036 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7100-7108 | |
* | |
* Deprecated predicate: tab/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7183-7192 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7205-7208 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7217-7225 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7217-7225 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7217-7225 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7217-7225 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7217-7225 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7235-7239 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7235-7239 | |
* | |
* Deprecated predicate: name/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7235-7239 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7289-7290 | |
* | |
* Deprecated predicate: ttyflush/0 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7459-7466 | |
* | |
* No matching clause for goal: subsume([s(A,B,C,D)],E,F,<,>,G,H,[],[]) | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7817-7822 | |
* | |
* Missing scope directive for predicate: alec_catch_hook/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl at or above line 5008 | |
* | |
* Missing meta_predicate directive for predicate: (if)/3 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl at or above line 1076 | |
* | |
* Missing meta_predicate directive for predicate: morph_template/3 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 2107-2110 | |
* | |
* Missing meta_predicate directive for predicate: error_msg/1 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7307-7313 | |
* | |
* Missing meta_predicate directive for predicate: (if_error)/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7320-7330 | |
* | |
* Missing meta_predicate directive for predicate: (if_warning_else_fail)/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7337-7339 | |
* | |
* Missing meta_predicate directive for predicate: (if_warning)/2 | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 7346-7355 | |
* | |
* Reference to unknown object: backward_compatibility | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1140-1143 | |
* | |
* Reference to unknown object but there is a module with the same name: lists | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 1176-1182 | |
* | |
* Reference to unknown object: ugraphs | |
* while compiling object ale | |
* in file /Users/pmoura/Desktop/ale.swi.pl between lines 5425-5430 | |
* | |
% [ /Users/pmoura/Desktop/ale.swi.pl compiled ] | |
% 122 compilation warnings | |
true. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment