54 lines · plain
1! RUN: %python %S/test_errors.py %s %flang_fc12! Derived type parameters3! C731 The same type-param-name shall not appear more than once in a given4! derived-type-stmt.5! C741 A type-param-name in a type-param-def-stmt in a derived-type-def shall6! be one of the type-paramnames in the derived-type-stmt of that7! derived-type-def.8! C742 Each type-param-name in the derived-type-stmt in a derived-type-def9! shall appear exactly once as a type-param-name in a type-param-def-stmt 10! in that derived-type-def.11 12module m13 !ERROR: Type parameter, component, or procedure binding 'a' already defined in this type14 type t1(a, b, a)15 integer, kind :: a16 integer(8), len :: b17 end type18 !ERROR: No definition found for type parameter 'b'19 type t2(a, b, c)20 integer, kind :: a21 integer, len :: c22 end type23 !ERROR: No definition found for type parameter 'b'24 type t3(a, b)25 integer, kind :: a26 !ERROR: Component 'b' is already declared in this derived type27 integer :: b28 end type29 type t4(a)30 integer, kind :: a31 !ERROR: 'd' is not a parameter of this derived type32 integer(8), len :: d33 end type34 type t5(a, b)35 integer, len :: a36 integer, len :: b37 !ERROR: Type parameter 'a' was already declared in this derived type38 integer, len :: a39 end type40 !ERROR: No definition found for type parameter 'k'41 !ERROR: No definition found for type parameter 'l'42 type :: t6(k, l)43 !ERROR: Type parameter 'k' was referenced before being declared44 !ERROR: Type parameter 'l' was referenced before being declared45 character(kind=k, len=l) :: d346 end type47 type(t6(2, 10)) :: x348 type :: t7(k1,k2)49 !ERROR: Type parameter 'k2' was referenced before being declared50 integer(kind(k2)), kind :: k151 integer(kind(k1)), kind :: k252 end type53end module54