C# (CSharp) Rook.Compiling.Types TypeUnifier Examples

Example #1

File: TypeUnifierTests.cs Project: plioi/rook

 public TypeUnifierTests()
 {
     unifier = new TypeUnifier();
     x       = new TypeVariable(0);
     y       = new TypeVariable(1);
     z       = new TypeVariable(2);
 }

Example #2

File: TypeUnifierTests.cs Project: rajeshpillai/rook

 public TypeUnifierTests()
 {
     unifier = new TypeUnifier();
     x = new TypeVariable(0);
     y = new TypeVariable(1);
     z = new TypeVariable(2);
 }

Example #3

File: TypeChecker.cs Project: klabranche/rook

 public TypeChecker(TypeRegistry typeRegistry)
 {
     unifier = new TypeUnifier();
     this.typeRegistry = typeRegistry;
     errorLog = new List<CompilerError>();
 }

Example #4

File: TypeChecker.cs Project: rajeshpillai/rook

 public TypeChecker()
 {
     unifier = new TypeUnifier();
     typeMemberRegistry = new TypeMemberRegistry();
     errorLog = new List<CompilerError>();
 }