Re: Ann: SWI-Prolog 6.5.1

Il 12/08/2013 22:43, Jan Wielemaker ha scritto:
> Hi,
> 
> I've uploaded SWI-Prolog 6.5.1.  There are a lot of changes.  Highlights:
> 
>   - Detection of `semantic singletons' by the compiler.  This proofs
>     to result in a quite high percentage of real bugs.  My rough
>     estimate is about 1/3th!  And this is on established code!
>   - Singleton detection with quasi quotations (do not claim a
>     singleton of a QQ introduces a reference to the singleton
>     in its expansion).
>   - prolog_load_context/2 provides access to variable names.
>   - term_expansion/4 and goal_expansion/4 to allow converting
>     source layout information.  This goes through most of the
>     compiler toplevel, but isn't actually used yet.
>   - halt/0 can now be called from threads.  Various fixes to
>     program termination, notably for xpce on Windows.
>   - JPL dll hassle is hopefully resolved.
>   - Cygwin port is updated.
>   - Lots of small stuff and cleanup.
> 

:- style_check(+var_branches).

p :-
    (s(A) ->
        true
    ;
        fail
    ),
    write(A).

Warning: /home/abramo/z.pl:3:
	Variable not introduced in all branches: A

Should we consider this a false positive?

-- 
Abramo Bagnara

Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy