level imports: Check the level of exported identifiers (!14550) · Merge requests · Glasgow Haskell Compiler / GHC

Matthew Pickering requested to merge wip/t29090 into master Jul 24, 2025

The level imports specification states that exported identifiers have to be at level 0. This patch adds the requird level checks that all explicitly mentioned identifiers occur at level 0.

For implicit export specifications (T(..) and module B), only level 0 identifiers are selected for re-export.

ghc-proposal: https://github.com/ghc-proposals/ghc-proposals/pull/705

Fixes #26090 (closed)

level imports: Check the level of exported identifiers

Merge request reports