<div dir="ltr">Let me upvote `reflectDict`.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 22, 2021 at 12:41 PM Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div style="overflow-wrap: break-word;" lang="EN-GB">
<div class="gmail-m_2650800239436764201WordSection1">
<p class="MsoNormal">Ed, and other ghc-devs<u></u><u></u></p>
<p class="MsoNormal">We are busy tidying up magicDict, and making it much more type-safe: see<u></u><u></u></p>
<ul style="margin-top:0cm" type="disc">
<li class="gmail-m_2650800239436764201MsoListParagraph" style="margin-left:0cm"><a href="https://gitlab.haskell.org/ghc/ghc/-/issues/16646" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/16646</a><u></u><u></u></li><li class="gmail-m_2650800239436764201MsoListParagraph" style="margin-left:0cm"><a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5573" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5573</a><u></u><u></u></li></ul>
<p class="MsoNormal">As part of that change we’re think of changing its currently-rather-obscure name.  I rather favour “reflectDict”.  Any other views?<u></u><u></u></p>
<p class="MsoNormal">Simon<u></u><u></u></p>
</div>
</div>

_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>