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

[Joachim Breitner]

Hi,

accepted!

Cheers,
Joachim

Am Dienstag, den 10.12.2019, 13:56 +0100 schrieb 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/