[ghc-steering-committee] Proposal #638: Prefix form for MkSolo# (Recommend Accept)

[Simon Peyton Jones]

Thanks Matthias

I'm generally supportive, but please see my comment exploring a minor
alternative
<https://github.com/ghc-proposals/ghc-proposals/pull/638#issuecomment-1988147639>
.

Simon

On Sat, 9 Mar 2024 at 00:12, Matthías Páll Gissurarson <mpg at mpg.is> wrote:

> Greetings committee!
>
> In [proposal #638](https://github.com/ghc-proposals/ghc-proposals/pull/638
> ),
> @int-index proposes that we introduce a prefix form of MkSolo#, and
> apparent oversight in proposal #475 [Non-punning list and tuple syntax](
> https://github.com/ghc-proposals/ghc-proposals/pull/475).
>
> Previously, you would write `(# a #)` to construct a `Solo# a`.
> But the question is: what would be the prefix form of this constructor?
> It can't be `(# #)`, because this is already defined as a constructor of
> `Unit#`!
>
> This amendment proposes the `MkSolo#` constructor, having us write
> `MkSolo# a` for the prefix form. The discussion seems unanimous, after care
> was taken to clarify that a fully applied `MkSolo# a` would still be pretty
> printed as `(# a #)`, avoiding programmer confusion.
>
> It seems quite straightforward to me, so:
>
> I recommend accepting this amendment to #475.
>
>
> --
> --  Matthías Páll Gissurarson <http://mpg.is/>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240311/038b97b8/attachment.html>