Safe Haskell	None
Language	Haskell2010

AST.Unify.Occurs

Description

Occurs check (check whether unification terms recursively contains themselves)

Synopsis

occursCheck :: forall m t. Unify m t => Tree (UVarOf m) t -> m ()
occursError :: Unify m t => Tree (UVarOf m) t -> Tree (UTermBody (UVarOf m)) t -> m a

Documentation

occursCheck :: forall m t. Unify m t => Tree (UVarOf m) t -> m () Source #

Occurs check

Format and throw an occurs check error