> On Oct 8, 2021, at 10:51 AM, Ben Gamari <b...@smart-cactus.org> wrote: > In my mind the fundamental problem with this approach is that it means > that a program's acceptance by the compiler hinges upon pragmas.
I think being able to ignore pragmas is a worthy goal, but one we're rather far short of, at the moment: overlapping pragmas (as Chris has pointed out), language pragmas (!), options pragmas setting -Werror, plugin pragmas, maybe others. Richard _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
