#301: Rename PtrRep to BoxedRep, recommending: accept

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/

I'm ok with this.
Simon
| -----Original Message-----
| From: ghc-steering-committee

Yes -- I support. Thanks, Richard
On Dec 10, 2019, at 1:06 PM, Simon Peyton Jones via ghc-steering-committee
wrote: I'm ok with this.
Simon
| -----Original Message----- | From: ghc-steering-committee
On Behalf Of Joachim Breitner | Sent: 10 December 2019 12:56 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] #301: Rename PtrRep to BoxedRep, | recommending: accept | | 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/ | | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | committee _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Seems more clear. In favor.
On Tue, Dec 10, 2019 at 6:56 AM 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/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- Chris Allen Currently working on http://haskellbook.com

I have no opinion either way.
On Tue, Dec 10, 2019 at 3:56 PM Christopher Allen
Seems more clear. In favor.
On Tue, Dec 10, 2019 at 6:56 AM Joachim Breitner
wrote: 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/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- Chris Allen Currently working on http://haskellbook.com _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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/
participants (5)
-
Christopher Allen
-
Joachim Breitner
-
Richard Eisenberg
-
Simon Peyton Jones
-
Spiwack, Arnaud