Change-Id: Id964cb53d85b0a8e5ec95f472d1f9afe7dc45160
@Override
public void checkType(TypingContext context) {
value = value.inferType(context);
@Override
public void checkType(TypingContext context) {
value = value.inferType(context);
- pattern.checkTypeAsPattern(context, value.getType());
+ pattern = pattern.checkTypeAsPattern(context, value.getType());
@Override
public void checkType(TypingContext context) {
TMetaVar componentType = Types.metaVar(Kinds.STAR);
@Override
public void checkType(TypingContext context) {
TMetaVar componentType = Types.metaVar(Kinds.STAR);
- value.checkType(context, Types.apply(Types.LIST, componentType));
- pattern.checkTypeAsPattern(context, componentType);
+ value = value.checkType(context, Types.apply(Types.LIST, componentType));
+ pattern = pattern.checkTypeAsPattern(context, componentType);
@Override
public void checkType(TypingContext context) {
@Override
public void checkType(TypingContext context) {
- condition.checkType(context, Types.BOOLEAN);
+ condition = condition.checkType(context, Types.BOOLEAN);