Opened 21 months ago

Last modified 13 months ago

#8904 new bug

haddock displays GHC.Types.Coercible as a datatype

Reported by: nomeata Owned by:
Priority: low Milestone:
Component: GHC API Version: 7.9
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #8894 Differential Rev(s): Phab:D300
Wiki Page:


...and not as a class. Appeared after #8894 was fixed.

It is correct in Data.Coerce and GHC.Exts, so this is a minor issue.

Change History (4)

comment:1 Changed 21 months ago by Fuuzetsu

Any chance for a smaller test case than something in base? base is kind of a pain to work against.

comment:2 Changed 21 months ago by nomeata

It’s in ghc-prim, not in base, if that helps :-) Otherwise, no: You need something that exports a datatype that GHC internally turns into a constraint, nothing you can have separate of GHC and ghc-prim, I think.

comment:3 Changed 13 months ago by thomie

Documentation bug is still present.

Link to the documentation of GHC.Types.Coercible.

comment:4 Changed 13 months ago by nomeata

  • Differential Rev(s) set to Phab:D300

I know. I believe that #8894 / Phab:D300 might fix this, but there is a problem that requires someone with knowledge of codegen and linker stuff to look at it.

Note: See TracTickets for help on using tickets.