<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hi all,</div><div><br></div><div>Proposal 125 is on the topic of making quasiquoters which annotate the type of expression they produce. For example:</div><div><br></div><div>  qq :: TQuasiQuoter Int</div><div><br></div><div>which would work when used via</div><div><br></div><div>  foo :: Int</div><div>  foo = [qq|| blah ||]</div><div><br></div><div>but would be a type error (even before expanding the splice) in the context of</div><div><br></div><div>  bar :: String</div><div>  bar = [qq|| blah ||]</div><div><br></div><div>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.</div><div><br></div><div>The proposal is here: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/125">https://github.com/ghc-proposals/ghc-proposals/pull/125</a></div><div>and my recommendation is: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/125#issuecomment-510612026">https://github.com/ghc-proposals/ghc-proposals/pull/125#issuecomment-510612026</a></div><div><br></div><div>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.</div><div><br></div><div>As usual, silence will be considered assent!</div><div><br></div><div>Best,</div><div>Sandy</div></div></div></div>