Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
C code generator. This module can convert a correct ImpCode program to an equivalent C program. The C code is strictly sequential, but can handle the full Futhark language.
Documentation
compileProg :: MonadFreshNames m => Text -> Prog SeqMem -> m (Warnings, CParts) Source #
Compile the program to sequential C.
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.
asLibrary :: CParts -> (Text, Text, Text) Source #
Produce header, implementation, and manifest files.
asExecutable :: CParts -> Text Source #
As executable with command-line interface.