I support this proposal also. On Sat, Feb 10, 2018 at 8:16 PM Ryan Newton wrote:

This sounds great, especially as the proposer is working on implementing it. Let's accept!

As a procedural note, it seems like if the calling conventions *were* ever changed (to avoid "rounding up" everything to 64 bits between caller and callee), that that improvement would not need to go through the proposals process. I.e., it's an implementation detail rather than a user-visible change.

Best, -Ryan

On Wed, Feb 7, 2018 at 10:40 PM, Joachim Breitner < mail@joachim-breitner.de> wrote:

...

Dear Committee,

this is your secretary speaking:

Small types like `Int8#`/`Word8#` were proposed https://github.com/ghc-proposals/ghc-proposals/pull/74

I propose Simon Marlow as the Shepherd.

Simon, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process

I suggest you make a recommendation about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you.

Thanks, 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

OK with me. (Though I have not really focused on the detail.) Simon From: ghc-steering-committee [mailto:ghc-steering-committee-bounces@haskell.org] On Behalf Of Simon Marlow Sent: 22 February 2018 11:47 To: Joachim Breitner Cc: ghc-steering-committee@haskell.org Subject: Re: [ghc-steering-committee] Please review: Int8/Word8, Shepherd: Simon Marlow I recommend that we accept this proposal. The proposal itself I think is uncontroversial: the current situation is somewhat historical; we realised when implementing the Data.Int and Data.Word libraries that it would be easier to build on top of a small family of narrow# primitives than to implement full sized types, so we took the shortest route at the time. That stopgap has served well up to this point, but we're missing some functionality that proper sized types would give us: better packing of unboxed fields in constructors, and in general better consistency in the internals (e.g. I think sized types will allow the removal of some ugly hacks in the FFI to do with calling external functions that take small integer arguments). So, while the proposal itself is uncontroversial, I expect there to be a lot to do at the code review stage to ensure we integrate this smoothly (e.g. the issues around calling conventions and LLVM integration). But that's not a concern for this committee, so I recommend we just accept. Cheers Simon On 8 February 2018 at 03:40, Joachim Breitner mailto:mail@joachim-breitner.de> wrote: Dear Committee, this is your secretary speaking: Small types like `Int8#`/`Word8#` were proposed https://github.com/ghc-proposals/ghc-proposals/pull/74https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F74&data=04%7C01%7Csimonpj%40microsoft.com%7Cd5b8e0a627814b24f58408d579ea000a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636548968299549878%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C-1&sdata=TFYYSNIhD%2BxwBFD6JoHmHMqcLMP8VDR%2FrP8ZI%2BE8v0o%3D&reserved=0 I propose Simon Marlow as the Shepherd. Simon, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-processhttps://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%23committee-process&data=04%7C01%7Csimonpj%40microsoft.com%7Cd5b8e0a627814b24f58408d579ea000a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636548968299549878%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C-1&sdata=%2B3Av3hjglae%2BbUENN03KHmqCqlAlVS5vED3eW3NltPA%3D&reserved=0 I suggest you make a recommendation about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.demailto:mail@joachim-breitner.de http://www.joachim-breitner.de/https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cd5b8e0a627814b24f58408d579ea000a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636548968299706143%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C-1&sdata=8BW0RQKj67ivdkrbRQvRbKi%2FgdyX%2Fpjf4%2FasummzAUA%3D&reserved=0 _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.orgmailto:ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Simon Marlow writes:

I recommend that we accept this proposal.

Yes, I agree. This seems like something with very few downsides. Cheers, - Ben

Hi, Am Donnerstag, den 22.02.2018, 11:46 +0000 schrieb Simon Marlow:

I recommend that we accept this proposal.

I see clear consensus -- accepted! Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/