Language.Embedded.Backend.C

C code generation for Program

Documentation

module Language.Embedded.Backend.C.Expression

Utilities

namedType :: String -> Type

Create a named type

viewNotExp :: Exp -> Maybe Exp

Return the argument of a boolean negation expression

arrayInit :: [Exp] -> Initializer

Code generation user interface

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

Compile a program to C code represented as a string

This function returns only the first (main) module. To get every C translation units, use compileAll.

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

compileAll :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> [(String, String)]

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

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

This function returns only the first (main) module. To get every C translation units, use icompileAll.

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

icompileAll :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

removeFileIfPossible :: FilePath -> IO ()

data ExternalCompilerOpts

Constructors

ExternalCompilerOpts

Fields

externalKeepFiles :: Bool

Keep generated files?

externalFlagsPre :: [String]

External compiler flags (e.g. ["-Ipath"])

externalFlagsPost :: [String]

External compiler flags after C source (e.g. ["-lm","-lpthread"])

externalSilent :: Bool

Don't print anything besides what the program prints

Instances

Monoid ExternalCompilerOpts

defaultExtCompilerOpts :: ExternalCompilerOpts

maybePutStrLn :: Bool -> String -> IO ()

compileC

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to compile

-> IO FilePath

Path to the generated executable

Generate C code and use GCC to compile it

compileAndCheck' :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => ExternalCompilerOpts -> Program instr (Param2 exp pred) a -> IO ()

Generate C code and use GCC to check that it compiles (no linking)

compileAndCheck :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

Generate C code and use GCC to check that it compiles (no linking)

runCompiled' :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => ExternalCompilerOpts -> Program instr (Param2 exp pred) a -> IO ()

Generate C code, use GCC to compile it, and run the resulting executable

runCompiled :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

Generate C code, use GCC to compile it, and run the resulting executable

captureCompiled'

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled' but with explicit input/output connected to stdin/stdout

captureCompiled

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> Program instr (Param2 exp pred) a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled but with explicit input/output connected to stdin/stdout

compareCompiled'

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code

compareCompiled

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> Program instr (Param2 exp pred) a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code