Proposal: List all files involved in DuplicateModule error #3884

spago init
mkdir src/sneaky
echo "module Main where" > src/sneaky/Dup.purs
spago build

Error found:
at src/Main.purs:1:1 - 6:28 (line 1, column 1 - line 6, column 28)

  Module Main has been defined multiple times

See https://github.com/purescript/documentation/blob/master/errors/DuplicateModule.md for more information,
or to contribute content related to this error.

[error] Failed to build.