PrimRep constructor Vec

Richard Eisenberg eir at
Tue Feb 2 21:33:33 UTC 2016

Hi Geoff,

I'm working on the fix for #11471, which involves interacting with the PrimRep type. (You don't need the ticket background to understand this question, though.) One of PrimRep's constructors is VecRep, which Simon tells me is your domain. The problem is that I can find nowhere in the source code where this constructor is used. I see several consumers, but no producers. Is this constructor now unused? Should I remove it?


More information about the ghc-devs mailing list