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

Language.Futhark.TypeChecker.Consumption

Description

Check that a value definition does not violate any consumption constraints.

Synopsis

Documentation

checkValDef :: (VName, [Pat ParamType], Exp, ResRetType, Maybe (TypeExp Exp VName), SrcLoc) -> ((Exp, ResRetType), [TypeError]) Source #

Type-check a value definition. This also infers a new return type that may be more unique than previously.