<div dir="ltr"><div>I confirm. I added this in the description of <a href="https://gitlab.haskell.org/ghc/ghc/issues/16830">https://gitlab.haskell.org/ghc/ghc/issues/16830</a>.</div><div>Krzysztof<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Apr 13, 2020 at 1:00 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 lang="EN-GB">
<div class="gmail-m_941113520622842503WordSection1">
<p class="MsoNormal"><span lang="EN-US">Friends<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US">I think HsTick and HsBinTick are added (only) by GHC.HsToCore.Coverage<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US">So I think the cannot occur in HsExpr GhcPs or HcExpr GhcRn<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US">If so we should change the data type decl to say this explicitly.<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US">Can anyone confirm or deny and add a ticket if so?<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US">Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></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>