<div dir="ltr">It appears that we've reached consensus here. I've announced the proposal as accepted. Thanks all!<div><br></div><div>Sandy</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jul 19, 2019 at 1:28 PM Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com">iavor.diatchki@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">It is a rather small change, but I think it could be handy.   I just<br>
posted an example on GitHub, along the lines of what you were asking<br>
for, have a look and see what you think.<br>
<br>
On Fri, Jul 19, 2019 at 9:34 AM Simon Peyton Jones via<br>
ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:<br>
><br>
> My current POV is that I think this feature is far far more limited than I originally thought -- and hence unattractive.  (I’ve posted on the discussion thread to that effect.)<br>
><br>
><br>
><br>
> I’m willing to be educated!<br>
><br>
><br>
><br>
> Simon<br>
><br>
><br>
><br>
> From: ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>> On Behalf Of Sandy Maguire<br>
> Sent: 11 July 2019 20:10<br>
> To: <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> Subject: [ghc-steering-committee] Type annotated quoters (#125) --- recommendation: accept<br>
><br>
><br>
><br>
> Hi all,<br>
><br>
><br>
><br>
> Proposal 125 is on the topic of making quasiquoters which annotate the type of expression they produce. For example:<br>
><br>
><br>
><br>
>   qq :: TQuasiQuoter Int<br>
><br>
><br>
><br>
> which would work when used via<br>
><br>
><br>
><br>
>   foo :: Int<br>
><br>
>   foo = [qq|| blah ||]<br>
><br>
><br>
><br>
> but would be a type error (even before expanding the splice) in the context of<br>
><br>
><br>
><br>
>   bar :: String<br>
><br>
>   bar = [qq|| blah ||]<br>
><br>
><br>
><br>
> I'm in favor of this proposal. It's small, a natural extension to typed expressions+quasiquoters, and solves the very real problem of statically verifying literals at compile time.<br>
><br>
><br>
><br>
> The proposal is here: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/125" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/125</a><br>
><br>
> and my recommendation is: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/125#issuecomment-510612026" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/125#issuecomment-510612026</a><br>
><br>
><br>
><br>
> I have recommend a syntactic change that is *not* present in the original proposal text. It seems unfair to make the proposer jump through more hoops after a year of inactivity on this proposal.<br>
><br>
><br>
><br>
> As usual, silence will be considered assent!<br>
><br>
><br>
><br>
> Best,<br>
><br>
> Sandy<br>
><br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>