AST.Unify.Occurs

Occurs check (check whether unification terms recursively contains themselves)

Documentation

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

Occurs check

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

Format and throw an occurs check error