
lint(+File, +Options)

   Check the given source module file

Arguments
   File                Name of the source file (atom or string)
   Options             A list of Option:Value structures

Type
   library(lint)

Description

    Analyse a source file, do various heuristic checks on the code,
    and print warnings if appropriate.

    The possible options are:

    head_unify ('off' or 'on')
	warn if a clause with a cut contains aliasing in the head,
	which may indicate non-steadfast code. Default: on.
    missing_else ('off' or 'on')
	warn if a conditions does not have an else case, since this
	will fail and is more clearly written using a simple conjunction
	or once/1. Default: on.
    naming_conventions ('off' or 'on')
	enable/disable naming conventions checks for variable names,
	predicate names and module names. Default: on.
    singletons ('off' or 'on')
	enable/disable singleton variable checks. Default: on.

    These option settings can be overridden via pragmas in the analysed
    file.  E.g. a pragma
    
    :- pragma(lint(head_unify:off)).
    
    will disable head_unify checking for the subsequent code, or until
    another pragma enables it again.
    

See Also
   lint / 1
