Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- transformProg :: MonadFreshNames m => Bool -> [ValBind] -> m (Prog SOACS)
Documentation
transformProg :: MonadFreshNames m => Bool -> [ValBind] -> m (Prog SOACS) Source #
Convert a program in source Futhark to a program in the Futhark core language.