[ghc-steering-committee] #301: Rename PtrRep to BoxedRep, recommending: accept

[Joachim Breitner]

Dear Committee,

this is your secretary speaking:

Rename PtrRep to BoxedRep
has been proposed by Neil Andrew Martin
https://github.com/ghc-proposals/ghc-proposals/pull/301

I’ll shepherd that myself.

It’s a simple renaming in an existing proposal, clarifying a somewhat
misleading name (PtrRep) to a more precise one (BoxedRep). This looks
reasonable and helpful, so I am happy to propose acceptance.

Any objections?



Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/