import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
import gnu.trove.map.hash.THashMap;
import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
import gnu.trove.map.hash.THashMap;
THashMap<TMetaVar,Type> unifications = new THashMap<TMetaVar,Type>();
Type requiredType = getType();
if(DEBUG)
THashMap<TMetaVar,Type> unifications = new THashMap<TMetaVar,Type>();
Type requiredType = getType();
if(DEBUG)
StringBuilder b = new StringBuilder();
b.append("Expected <");
requiredType.toString(new TypeUnparsingContext(), b);
StringBuilder b = new StringBuilder();
b.append("Expected <");
requiredType.toString(new TypeUnparsingContext(), b);
context.getErrorLog().log(location, getAmbiguousDescription(getType()));
return this;
}
}
public void assertResolved(ErrorLog errorLog) {
context.getErrorLog().log(location, getAmbiguousDescription(getType()));
return this;
}
}
public void assertResolved(ErrorLog errorLog) {