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