Module CPP.CompileWithFrontend

Auxiliary operations to compile additionally imported modules with the front end.

Exported Functions:

Exported Functions


compileImportedModule :: Int -> String -> IO ()  Deterministic 

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 the preprocessor is called, that all imported modules are already compiled.