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

Richard Eisenberg 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.

Richard


More information about the ghc-devs mailing list