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

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@joachim-breitner.de http://www.joachim-breitner.de/