compileToFile

[dpwiz]

The library tutorial has a chapters on AOT and cross-compilation.

It uses compile targets and compile_to_file function, which is currently missing.

This looks useful for producing canned code and shipping stuff without runtime dependency on libhalide.

[twesterhout]

Hello @dpwiz, I think this could be a valuable addition to the library, but AOT compilation wasn't the highest priority when writing the first version. The reasoning was that it's already possible to generate the kernels ahead of time using the C++ or Python interfaces of Halide and then invoke them from Haskell...
In any case, this could be a good first issue, and I would gladly accept a PR adding this functionality.