| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Language.Futhark.TypeChecker.Terms.Loop
Description
Size inference of loop. This is complicated, so the implementation is
separate from the main type checker.
Synopsis
- type UncheckedLoop = (Pat ParamType, LoopInitBase Info VName, LoopFormBase Info VName, Exp)
- type CheckedLoop = ([VName], Pat ParamType, LoopInitBase Info VName, LoopFormBase Info VName, Exp)
- checkLoop :: (Exp -> TermTypeM Exp) -> UncheckedLoop -> SrcLoc -> TermTypeM (CheckedLoop, AppRes)
Documentation
type UncheckedLoop = (Pat ParamType, LoopInitBase Info VName, LoopFormBase Info VName, Exp) Source #
An un-checked loop.
type CheckedLoop = ([VName], Pat ParamType, LoopInitBase Info VName, LoopFormBase Info VName, Exp) Source #
A loop that has been type-checked.