PrimRep constructor Vec

[Simon Peyton Jones]

Thanks.  A Note somewhere would be good!!!

|  -----Original Message-----
|  From: Geoffrey Mainland [mailto:mainland at drexel.edu]
|  Sent: 03 February 2016 17:10
|  To: Simon Peyton Jones <simonpj at microsoft.com>; Richard Eisenberg
|  <eir at cis.upenn.edu>
|  Cc: ghc-devs at haskell.org developers <ghc-devs at haskell.org>
|  Subject: Re: PrimRep constructor Vec
|  
|  Indeed, the producer is utils/genprimopcode/Main.hs.
|  
|  Check out compiler/stage1/build/primop-vector-tys.hs-incl in your build
|  tree---should be plenty of generated VecRep's there :)
|  
|  Cheers,
|  Geoff
|  
|  On 02/03/2016 07:38 AM, Simon Peyton Jones wrote:
|  > I think it may appear in code generated from primops.txt
|  >
|  > Simon
|  >
|  > |  -----Original Message-----
|  > |  From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
|  > | Richard Eisenberg
|  > |  Sent: 02 February 2016 21:34
|  > |  To: Geoffrey Mainland <mainland at drexel.edu>
|  > |  Cc: ghc-devs at haskell.org developers <ghc-devs at haskell.org>
|  > |  Subject: PrimRep constructor Vec
|  > |
|  > |  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?
|  > |
|  > |  Thanks,
|  > |  Richard
|  > |  _______________________________________________
|  > |  ghc-devs mailing list
|  > |  ghc-devs at haskell.org
|  > |
|  > |
|  https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail
|  > | .ha
|  > |  skell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
|  > |
|  > |
|  devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cec3894b071464
|  > | 230
|  > |
|  fccb08d32c329ccf%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=DxmEqo
|  > | gqU  v7A%2bridzwWEEF6bz6mBMhFj9KDmL4y98iU%3d
|  >
|