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>(); }