/* TODO: LOWPRI: remove
* private CatTypeVarList GetVarsExcept(CatFxnType except)
* {
* CatTypeVarList ret = new CatTypeVarList();
* GetVarsExcept(except, ret);
* return ret;
* }
*
* private void GetVarsExcept(CatFxnType except, CatTypeVarList vars)
* {
* foreach (CatKind k in GetChildKinds())
* {
* if (k is CatFxnType)
* {
* CatFxnType ft = k as CatFxnType;
* if (ft != except)
* ft.GetVarsExcept(except, vars);
* }
* else
* {
* if (k.IsKindVar())
* vars.Add(k);
* }
* }
* }
*/
/// <summary>
/// Every kind variable has a scope in which it is free.
/// This allows us to compute whether a variable is free or bound.
/// The purpose of figuring whether a variable is free or bound, is so
/// that when we copy a function, we can make sure that any free variables
/// are given new unique names. Basically we want to make new names,
/// but we can't always do that.
/// </summary>
/// <param name="scopes"></param>
private void ComputeVarScopes(CatVarScopes scopes, Stack <CatFxnType> visited)
{
if (visited.Contains(this))
{
return;
}
foreach (CatKind k in GetChildKinds())
{
if (k.IsKindVar())
{
scopes.Add(k, this);
}
else if (k is CatFxnType)
{
CatFxnType ft = k as CatFxnType;
visited.Push(ft);
ft.ComputeVarScopes(scopes, visited);
visited.Pop();
}
}
}
