Unpacking sum types

[Dan Doel]

Are we okay with stealing some operator sections for this? E.G. (x
||). I think the boxed sums larger than 2 choices are all technically
overlapping with sections.

On Mon, Sep 7, 2015 at 10:35 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:
> Good start.
>
>
>
> I have updated the page to separate the source-language design (what the
> programmer sees) from the implementation.
>
>
>
> And I have included boxed sums as well – it would be deeply strange not to
> do so.
>
>
>
> Looks good to me!
>
>
>
> Simon
>
>
>
> From: Johan Tibell [mailto:johan.tibell at gmail.com]
> Sent: 01 September 2015 18:24
> To: Simon Peyton Jones; Simon Marlow; Ryan Newton
> Cc: ghc-devs at haskell.org
> Subject: RFC: Unpacking sum types
>
>
>
> I have a draft design for unpacking sum types that I'd like some feedback
> on. In particular feedback both on:
>
>
>
>  * the writing and clarity of the proposal and
>
>  * the proposal itself.
>
>
>
> https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes
>
>
>
> -- Johan
>
>
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>