示例#1
0
 public TypeUnifierTests()
 {
     unifier = new TypeUnifier();
     x       = new TypeVariable(0);
     y       = new TypeVariable(1);
     z       = new TypeVariable(2);
 }
示例#2
0
 public TypeUnifierTests()
 {
     unifier = new TypeUnifier();
     x = new TypeVariable(0);
     y = new TypeVariable(1);
     z = new TypeVariable(2);
 }
示例#3
0
 public TypeChecker(TypeRegistry typeRegistry)
 {
     unifier = new TypeUnifier();
     this.typeRegistry = typeRegistry;
     errorLog = new List<CompilerError>();
 }
示例#4
0
 public TypeChecker()
 {
     unifier = new TypeUnifier();
     typeMemberRegistry = new TypeMemberRegistry();
     errorLog = new List<CompilerError>();
 }