------- Comment #3 from janus at gcc dot gnu dot org 2010-05-08 20:23 ------- Bonus feature #2:
select type ( y => fun(1) ) type is (t1) y%i = 1 type is (t2) y%i = 2 end select ... should be rejected, due to (F08): C836 (R847) If selector is not a variable or is a variable that has a vector subscript, associate-name shall not appear in a variable definition context (16.6.7). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44044