Leo Famulari <leo@famulari.name> writes:

> On Thu, Mar 14, 2019 at 11:54:30PM +0100, Pierre Neidhardt wrote:
>> Erratum: You've packaged go-github-com-kr-text a second time :p
>
> Oops! Fixed in 10b30b97735ba9037f4ce58867f47678d78f4970
>
>> This has happened to me once.  I think we should have a linter to protect
>> against this.  Thoughts?
>
> I think it's been discussed before but I'm not sure — try searching the
> archives.

The linter does detect duplicate definitions in different modules (when
you run it on one of the duplicate definitions), and there is a Guile
warning for duplicate definitions within the same module.