13.17.3 Other Changes

• Singleton variable warnings are no longer generated for those directives that the compiler ignores. This includes mode/1 directives so you can now use more descriptive arguments, e.g.

            :- mode foo(+Input, -Output).
  

  without getting a warning about the singleton variables Input and Output.

• print_coverage/[0,1] and print_profile/[0,1] now print to the current output stream, like listing/[0,1].
• Static foreign resources are now compiled in a way that ensures that the code can be linked into dynamic shared objects (like .so and .dll files). This solves a problem where static foreign resources could not be included in all-in-one executable dynamic shared objects.