Safe Haskell | None |
---|---|
Language | Haskell2010 |
C code generator. This module can convert a correct ImpCode program to an equivalent C program. This C program is expected to be converted to WebAssembly, so we also produce the intended JavaScript wrapper.
Documentation
compileProg :: MonadFreshNames m => Prog MCMem -> m (Warnings, (CParts, Text, [String])) Source #
The result of compilation to C is multiple parts, which can be put together in various ways. The obvious way is to concatenate all of them, which yields a CLI program. Another is to compile the library part by itself, and use the header file to call into it.
asExecutable :: CParts -> Text Source #
As executable with command-line interface.