futhark-0.25.25: An optimising compiler for a functional, array-oriented language.

Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Futhark.TypeChecker.Consumption

Description

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

Synopsis

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

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.