Skip to content

Exporting qualified module doesn't export anything from it

Summary

Exporting qualified module doesn't export anything from it.

Steps to reproduce

module Foo (module Bar) where

import qualified X as Bar (foo)

This module doesn't export foo.

But if you remove qualified, like that:

module Foo (module Bar) where

import X as Bar (foo)

it does export foo.

Expected behavior

I expect Foo to export foo in both cases or it should be an error to export qualified module.

Environment

  • GHC version used: 8.6.5 (from stack, no nix)

Optional:

  • Operating System: Ubuntu 18.04
Edited by Heimdell
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information