Re: Why can't arguments be levity polymorphic for inline functions?

On Oct 8, 2021, at 10:51 AM, Ben Gamari 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