CODEWITHSUNDEEP
swi-prolog
Juanjo Conti
Juanjo Conti

Reputation: 30043

Turning off warnings in swi-prolog

How Can I turn off warnings in swi-prolog.

Clauses of XXX/AA are not together in the source-file

is very annoying.

Upvotes: 12

Views: 6022

Answers (2)

xrdty
xrdty

Reputation: 886

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).

Upvotes: 8

Kevin Crowell
Kevin Crowell

Reputation: 10178

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

Upvotes: 11

Related Questions