Language.Futhark.TypeChecker.Terms.Loop

Type inference of loop. This is complicated because of the uniqueness and size inference, so the implementation is separate from the main type checker.

Documentation

type UncheckedLoop = (PatBase NoInfo VName ParamType, ExpBase NoInfo VName, LoopFormBase NoInfo VName, ExpBase NoInfo VName)

An un-checked loop.

type CheckedLoop = ([VName], Pat ParamType, Exp, LoopFormBase Info VName, Exp)

A loop that has been type-checked.

checkLoop :: (ExpBase NoInfo VName -> TermTypeM Exp) -> UncheckedLoop -> SrcLoc -> TermTypeM (CheckedLoop, AppRes)

Type-check a loop expression, passing in a function for type-checking subexpressions.