public TupleType ToTupleType(int n)
{
TupleType ret = new TupleType(); //$ NO registation. Badness?
for (int i = 0; i < n; i++)
{
ret.Add(KeyType);
}
return(ret);
}
public TupleType ToTupleType(int n)
{
TupleType ret = new TupleType(); //$ no regs
for (int i = 0; i < n; i++)
{
ret.Add(eltType);
}
return(ret);
}
/// <summary>
/// If the self type is set, use the self type in the display
/// This is for display purpose only, it may not be logically
/// correct wrt some pathological programs
/// </summary>
private TupleType SimplifySelf(TupleType from)
{
TupleType simplified = new TupleType(); //$NO regs
if (from.eltTypes.Count > 0)
{
if (Class != null)
{
simplified.Add(Class.GetInstance());
}
else
{
simplified.Add(from.Get(0));
}
}
for (int i = 1; i < from.eltTypes.Count; i++)
{
simplified.Add(from.Get(i));
}
return(simplified);
}
