Auxiliary operations to compile additionally imported modules with the front end.
compileImportedModule
:: Int -> String -> IO ()
If a module is added as a new import to the transformed program, we have to compile it in order to avoid a compilation error of the front end, since the front end assumes, |
compileModuleTo
:: Int -> String -> FrontendTarget -> IO ()
|
If a module is added as a new import to the transformed program, we have to compile it in order to avoid a compilation error of the front end, since the front end assumes, |
|