How Can I turn off warnings in swi-prolog.
Clauses of XXX/AA are not together in the source-file
is very annoying.
Asked
Active
Viewed 5,441 times
10
peter.cyc
- 1,763
- 1
- 12
- 19
Juanjo Conti
- 28,823
- 42
- 111
- 133
2 Answers
11
Instead, you could fix the warning.
The discontiguous directive is needed when the clauses of a static (compiled) predicate cannot be compiled as a single unit. This happens when the clause definitions are:
- Not contiguous
- Exceed the maximum number of clauses
Kevin Crowell
- 10,082
- 4
- 35
- 51
-
In which system does this happen when the maximum number of clauses is reached? Never heard of that. – false Jun 14 '14 at 10:33
-
@false I don't think it is a problem anymore, but a long time ago SWI Prolog, at least, had this problem. – Kevin Crowell Jun 16 '14 at 15:07
-
This question is still unanswered. Is it possible to turn off all warnings in SWI-Prolog so that only the errors are shown? – Anderson Green May 13 '16 at 02:57
-
@AndersonGreen yes, with style_check – xrdty Dec 05 '16 at 19:52
8
You can turn off these warnings with style_check using :-style_check(-discontiguous)..
For example, you can also put off the warning about singleton variables with :-style_check(-singleton).
xrdty
- 886
- 2
- 10
- 22