Skip to content

Instantly share code, notes, and snippets.

@pmoura
Last active January 21, 2020 09:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save pmoura/a0c30e5a7c50e9b27044cd0a6c068747 to your computer and use it in GitHub Desktop.
Save pmoura/a0c30e5a7c50e9b27044cd0a6c068747 to your computer and use it in GitHub Desktop.
Lint warnings for ale.swi.pl
?- 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