예제 #1
0
 public virtual void DoUnify(TypeVariable var, Substitution substitution)
 {
     var.DoUnify(this, substitution);
 }
예제 #2
0
 public void Bind(TypeVariable variable, Type type)
 {
     Map = Map.Add(variable, type);
 }
예제 #3
0
 public virtual void UnifyWithRigid(TypeVariable var, Substitution subst)
 {
     throw RigidTypeException.Create(var.RigidName, this);
 }