Per-function code-generation options
On ghc-devs Ed Kmett has asked for some way to more precisely specify code generation options (e.g. should AVX be used?).
This idea has taken a few different shapes in the thread, but I suspect that the most sensible approach is add something like a
TARGET pragma, which the user could attach to a top-level binding. Since the interactions with inlining are non-trivial, I suspect you would want to require that this only be applied to