Why can't arguments be levity polymorphic for inline functions?
lists at richarde.dev
Fri Oct 8 15:02:36 UTC 2021
> On Oct 8, 2021, at 10:51 AM, Ben Gamari <ben at 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.
More information about the ghc-devs