Opened 5 years ago

Closed 5 years ago

#8658 closed bug (fixed)

Document Proxy#

Reported by: goldfire Owned by:
Priority: normal Milestone:
Component: Documentation Version: 7.7
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


Commit 17112084f87d7ccebf639068b85948190d52c6ba introduced a new type Proxy# to GHC.Prim. However, I don't see any documentation for this type in the GHC.Prim haddock docs, or anywhere else. We should add this.

A little poking around tells me that compiler/prelude/primops.txt.pp is the place to do it. But, I'm not familiar with that file's syntax, nor am I 100% familiar with Proxy#, so I don't think I'm the one to do it.

Change History (3)

comment:1 Changed 5 years ago by thoughtpolice

Good catch. I'm validating a patch and checking it now...

comment:2 Changed 5 years ago by Austin Seipp <austin@…>

In d4f0fcf368765ae4aa7ebe914bc2f254026694c8/ghc:

Document Proxy# (#8658)

Signed-off-by: Austin Seipp <>

comment:3 Changed 5 years ago by thoughtpolice

Resolution: fixed
Status: newclosed

Thanks Richard!

Note: See TracTickets for help on using tickets.