Opened 3 years ago

Closed 3 years ago

#10233 closed bug (fixed)

Reexporting GHC.Exts does not export Constraint

Reported by: int-e Owned by:
Priority: normal Milestone: 7.10.2
Component: Compiler Version: 7.10.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: module/T10233
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


I expected the following code

module T (module GHC.Exts) where

import GHC.Exts (Constraint)

to reexport Constraint, but in fact T exports nothing at all. Explicitely exporting Constraint from T works as expected.

Change History (3)

comment:1 Changed 3 years ago by Simon Peyton Jones <simonpj@…>

In 74d2c33a1f4ebe3de090bc73d08910bbdd31f8f1/ghc:

GHC.Prim.Constraint is not built-in syntax

This fixes Trac #10233

comment:2 Changed 3 years ago by simonpj

Status: newmerge
Test Case: module/T10233

Aha, quite right. Result of an oversight in TysPrim.

This probably is worth merging to 7.10, although some error messages will start saying GHC.Prim.Constraint instead of Constraint. I've addressed that in 547c597112954353cef7157cb0a389bc4f6303eb, but I don't think the latter is worth merging. So just accept the error message changes.


comment:3 Changed 3 years ago by thoughtpolice

Milestone: 7.10.2
Resolution: fixed
Status: mergeclosed

Merged to ghc-7.10.

Note: See TracTickets for help on using tickets.