<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div>I'm content with ripping it out and waiting to see if anyone complains. Without documentation or any obvious users, it seems hard to do otherwise.</div><div><br class=""></div><div>That said, if you reading this have a better idea than we do about who uses {-# GENERATED ... #-} pragmas, do speak up!</div><div><br class=""></div><div>Thanks,</div><div>Richard</div><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 31, 2020, at 10:07 AM, Vladislav Zavialov <<a href="mailto:vladislav@serokell.io" class="">vladislav@serokell.io</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class="">I was under impression it was somehow related to HPC. Since I'm not sufficiently familiar with HPC's inner workings, I kept it around just to be safe.<div dir="auto" class=""><br class=""></div><div dir="auto" class="">- Vlad</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 31, 2020, 17:03 Ryan Scott <<a href="mailto:ryan.gl.scott@gmail.com" class="">ryan.gl.scott@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><div class="">I think that HsPragTick is unused as of [1]. In fact, I was under the impression that [1] removed HsPragTick entirely (as the commit message) would suggest, but upon further inspection, that doesn't appear to be the case. Vlad, do you recall why HsPragTick was kept around?<br class=""></div><div class=""><br class=""></div><div class="">Ryan S.</div><div class="">-----</div><div class="">[1] <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2154" target="_blank" rel="noreferrer" class="">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2154</a></div></div>
</blockquote></div>
_______________________________________________<br class="">ghc-devs mailing list<br class=""><a href="mailto:ghc-devs@haskell.org" class="">ghc-devs@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br class=""></div></blockquote></div><br class=""></body></html>