Exemplos de MobLang.TypeSystem TypeVariable em C# (CSharp)

Exemplo n.º 1

 public virtual void DoUnify(TypeVariable var, Substitution substitution)
 {
     var.DoUnify(this, substitution);
 }

Exemplo n.º 2

Arquivo: Substitution.cs Projeto: minib00m/JNP2

 public void Bind(TypeVariable variable, Type type)
 {
     Map = Map.Add(variable, type);
 }

Exemplo n.º 3

 public virtual void UnifyWithRigid(TypeVariable var, Substitution subst)
 {
     throw RigidTypeException.Create(var.RigidName, this);
 }