@Override
public TypeAst toTypeAst(TypeUnparsingContext context) {
- if(ref == null)
- return new TVarAst(/*polarity.getSymbol() +*/ context.getName(this));
- else
+ if(ref != null)
return ref.toTypeAst(context);
+ else if(context.showSkeletons && skeletonRef != null)
+ return skeletonRef.toTypeAst(context);
+ else
+ return new TVarAst(/*polarity.getSymbol() +*/ context.getName(this));
}
@Override
// Common case
if(skeletonRef != null) {
Skeletons.unifySkeletons(thisSkeleton, type);
+ if(ref != null) {
+ Types.unify(this, type);
+ return;
+ }
}
setRefBase(type);
}