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, |
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, |