flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Back.Back

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

generate :: (MonadCatch m, Monad m) => IntMap TySchemeEx -> IntMap TyTerm -> Expr -> IdxMonad m (String, String)

generate varTypes astTypes ast. Generates C++ and MPI code that implements |ast, where varTypes has library function types, and astTypes has the types of |the ast subexpressions.