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

Language.Futhark.TypeChecker.Terms.Pat

Synopsis

Documentation

doNotShadow :: [String] Source #

Names that may not be shadowed.

boundAliases :: Aliasing -> Set VName Source #

The set of in-scope variables that are being aliased.