This can of course be done at compile time. But this is cumbersome, not only because it requires GHC to be installed in the user's machine, but also because it would require some level of cabal/GHC trickery to specify what extra file to compile with.
As discussed with @snowleopard, this could be solved by being able to let a compiled executable take in a haskell program, compile it at runtime and then do something with the circuit - be it simulate it, convert it to an STG or anything else.
mvdan
commented
8 years ago
This can of course be done at compile time. But this is cumbersome, not only because it requires GHC to be installed in the user's machine, but also because it would require some level of cabal/GHC trickery to specify what extra file to compile with.
As discussed with @snowleopard, this could be solved by being able to let a compiled executable take in a haskell program, compile it at runtime and then do something with the circuit - be it simulate it, convert it to an STG or anything else.
At first sight it looks like https://hackage.haskell.org/package/hint could be of use for this.