@Override public void resolveTypes(int currentTypeInferenceId) throws CompilerException { super.resolveTypes(currentTypeInferenceId); for (TypeReference tr : type.getAttributeTypes()) tr.resolve(currentTypeInferenceId); // FIXME: really ok?! for (Expression e : exprs) e.resolveTypes(currentTypeInferenceId); outputType = type.withKind(RefKind.VAL); outputType.resolve(currentTypeInferenceId); }