Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 5,400
    • Issues 5,400
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 590
    • Merge requests 590
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell CompilerGlasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #23318
Closed
Open
Issue created Apr 28, 2023 by Bartłomiej Cieślar@barci2Developer

Bug in handling of duplicate exports when exporting T(..)

Summary

In a bug is introduced where the check for duplicate exports is done improperly in case of exporting T(..). I believe the bug is caused by not including the parent name (in this case T) in the list of GREs passed to check_occs from the IEThingAll variant of the lookup_ie function in module GHC.Tc.Gen.Export. I could try looking into it since I'm currently working on that code, or it could be done by someone else.

Steps to reproduce

Try compiling the following code

module Mod (T(), T(..)) where
data T = A | B

Expected behavior

Should warn about duplicate exports

Environment

  • GHC version used: master

Optional:

  • Operating System: WSL Ubuntu
  • System Architecture: x86-64
Edited Apr 28, 2023 by sheaf
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking