Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

fix #464

  • Loading branch information...
commit 01b521990e27eda6b953d9602ef8b53620613ede 1 parent ee0103c
@gavinking gavinking authored
View
4 src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java
@@ -361,13 +361,13 @@ else if (isGeneric(dec)) {
IntersectionType ut = new IntersectionType(unit);
ut.setSatisfiedTypes(list);
if (!ta.isExactly(ut.getType())) {
- that.addWarning("type argument to covariant type parameter in assignability condition must be " +
+ that.addWarning("type argument to covariant (out) type parameter in assignability condition must be " +
ut.getType().getProducedTypeName(unit) + " (until we implement reified generics)");
}
}
else if (tp.isContravariant()) {
if (!(ta.getDeclaration() instanceof NothingType)) {
- that.addWarning("type argument to contravariant type parameter in assignability condition must be Nothing (until we implement reified generics)");
+ that.addWarning("type argument to contravariant (in) type parameter in assignability condition must be Nothing (until we implement reified generics)");
}
}
else {
View
4 src/com/redhat/ceylon/compiler/typechecker/analyzer/TypeArgumentVisitor.java
@@ -108,11 +108,11 @@ private void check(ProducedType type, Node that, boolean variable) {
for (TypeParameter td: errors) {
String var; String loc;
if ( td.isContravariant() ) {
- var = "contravariant";
+ var = "contravariant (in)";
loc = "covariant";
}
else if ( td.isCovariant() ) {
- var = "covariant";
+ var = "covariant (out)";
loc = "contravariant";
}
else {
Please sign in to comment.
Something went wrong with that request. Please try again.