futhark-0.20.0: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.Internalise

Description

This module implements a transformation from source to core Futhark.

Synopsis

Documentation

internaliseProg :: MonadFreshNames m => Bool -> Imports -> m (Prog SOACS) Source #

Convert a program in source Futhark to a program in the Futhark core language.