public static void ShowTEnv(MEnv <MTypeScheme> tenv)
{
if (tenv.IsEmpty())
{
return;
}
else
{
ShowTEnv(tenv.Tail);
var str = ShowTypeScheme(tenv.Head.Item1, tenv.Head.Item2);
Global.OutputString(string.Format("{0} : {1}", tenv.Head.Item1, str));
}
}
public TypeInfContext()
{
UserTypes = new MEnv <int>();
TEnv = new MEnv <MTypeScheme>();
}
