copilot-c99-3.3: A compiler for Copilot targeting C99.
Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.C99

Description

Compile Copilot specifications to C99 code.

Synopsis

Documentation

compile :: String -> Spec -> IO () Source #

Compile a specification to a .h and a .c file.

The first argument is used as prefix for the .h and .c files generated.