<div dir="ltr"><div dir="ltr">On Fri, Oct 8, 2021 at 10:51 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">In my mind the fundamental problem with this approach is that it means<br>
that a program's acceptance by the compiler hinges upon pragmas.<br>
This is a rather significant departure from the status quo, where one<br>
can remove all pragmas and still end up with a well-formed program. <br>
In this sense, pragmas aren't really part of the Haskell language but<br>
are rather bits of interesting metadata that the compiler may or may not<br>
pay heed to.<br></blockquote><div><br></div><div>I don't believe this is really the status quo.  In particular, the pragmas relating to overlapping instances definitely do affect whether a program type-checks or not.</div></div></div>