Language.Embedded.Backend.C

C code generation for Program

Utilities

namedType :: String -> Type

Create a named type

viewNotExp :: Exp -> Maybe Exp

Return the argument of a boolean negation expression

Code generation user interface

compile :: (Interp instr CGen, HFunctor instr) => Program instr a -> String

Compile a program to C code represented as a string

For programs that make use of the primitives in Language.Embedded.Concurrent, the resulting C code can be compiled as follows:

gcc -Iinclude csrc/chan.c -lpthread YOURPROGRAM.c

icompile :: (Interp instr CGen, HFunctor instr) => Program instr a -> IO ()

Compile a program to C code and print it on the screen

For programs that make use of the primitives in Language.Embedded.Concurrent, the resulting C code can be compiled as follows:

gcc -Iinclude csrc/chan.c -lpthread YOURPROGRAM.c