Reexporting a module of the same name as the current module does not behave as expected

[jy14898]

Description

module X (myInt, module X) where

import Prelude as X

myInt = 10

silently only exports myInt, nothing from Prelude. I've encountered this bug while refactoring imports and the names they get qualified into.

To Reproduce

Build the above example and try to import unit from X (in a repl for example), or anything else from Prelude.

Expected behavior

Either:

• Ban re-exporting the current module (not explicitly by name, just throw an unknown module error if there are no qualified imports for the name)
• Correctly merge qualified imports with the current module name for exports, as is done with other imports

Additional context

PureScript version

0.15.4