# Findall/3 and overlapping use of variable names

**URL:** <https://swi-prolog.discourse.group/t/findall-3-and-overlapping-use-of-variable-names/3309>\
**Category:** Help!\
**Tags:** discussion\
**Created:** [November 26, 2020, 1:40am UTC](https://swi-prolog.discourse.group/t/findall-3-and-overlapping-use-of-variable-names/3309 "2020-11-26T01:40:03Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![CapelliC](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/capellic/32/17_2.png) [@CapelliC](https://swi-prolog.discourse.group/u/CapelliC)\
**Post date:** [November 26, 2020, 6:58am UTC](https://swi-prolog.discourse.group/t/findall-3-and-overlapping-use-of-variable-names/3309/2 "2020-11-26T06:58:27Z")

</div>

Maybe the problem falls under the ‘missing steadfastness’ umbrella.

I don’t think the compiler should bother about this case (too easy 🙂 ), because there are so many more difficult points when it come to coroutining (attributed variables), so extensively used today.

From [this thread](https://swi-prolog.discourse.group/t/linter/1160/3), there should be a ‘lint like’ tool, sorry I haven’t tried it, and crashed [swi-prolog.org](http://swi-prolog.org) 😕 while trying to follow a Google search suggestion  
([https://www.swi-prolog.org/pack/file\_details/logtalk/logtalk-3.41.0/manuals/\_sources/devtools/linter.rst.txt](https://www.swi-prolog.org/pack/file_details/logtalk/logtalk-3.41.0/manuals/_sources/devtools/linter.rst.txt))

---

_[View the full topic](https://swi-prolog.discourse.group/t/findall-3-and-overlapping-use-of-variable-names/3309)._