Re: singleton variable in branch ?

Couldn't both the singleton and singleton in branch warnings just be
called something like 'unused variable'?
I think a newcomer would not immediately understand what a singleton
variable is.

Best regards,
Jochem

PS. Our experience is also that these singleton in branch warnings are
real bugs most of the time.



> YIP.  For your understanding, a `singleton in a branch' is a variable
> that is syntactically not a singleton (appears in multiple places in
> the term), but does not transfer a binding from one goal-argument to
> another.  That turns it in to `a semantic singleton'.  If anyone has
> better wording for this warning, please share it.  Do take them
> seriously; in my experience well over half of them indicate real
> bugs.


-- 
Jochem Liem, PhD
http://jochemliem.wordpress.com