1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
! RUN: %python %S/test_errors.py %s %flang_fc1
! C772
module m1
type t1
contains
procedure, nopass :: s1
!ERROR: Binding name 's2' not found in this derived type
generic :: g1 => s2
end type
type t2
integer :: s1
contains
!ERROR: 's1' is not the name of a specific binding of this type
generic :: g2 => s1
end type
contains
subroutine s1
end
end
module m2
type :: t3
contains
private
procedure, nopass :: s3
generic, public :: g3 => s3
generic :: h3 => s3
end type
contains
subroutine s3(i)
end
end
! C771
module m3
use m2
type, extends(t3) :: t4
contains
procedure, nopass :: s4
procedure, nopass :: s5
!ERROR: 'g3' does not have the same accessibility as its previous declaration
generic, private :: g3 => s4
!ERROR: 'h3' does not have the same accessibility as its previous declaration
generic, public :: h3 => s4
generic :: i3 => s4
!ERROR: 'i3' does not have the same accessibility as its previous declaration
generic, private :: i3 => s5
end type
type :: t5
contains
private
procedure, nopass :: s3
procedure, nopass :: s4
procedure, nopass :: s5
generic :: g5 => s3, s4
!ERROR: 'g5' does not have the same accessibility as its previous declaration
generic, public :: g5 => s5
end type
contains
subroutine s4(r)
end
subroutine s5(z)
complex :: z
end
end
! Test forward reference in type-bound generic to binding is allowed
module m4
type :: t1
contains
generic :: g => s1
generic :: g => s2
procedure, nopass :: s1
procedure, nopass :: s2
end type
type :: t2
contains
generic :: g => p1
generic :: g => p2
procedure, nopass :: p1 => s1
procedure, nopass :: p2 => s2
end type
contains
subroutine s1()
end
subroutine s2(x)
end
end
! C773 - duplicate binding names
module m5
type :: t1
contains
generic :: g => s1
generic :: g => s2
procedure, nopass :: s1
procedure, nopass :: s2
!ERROR: Binding name 's1' was already specified for generic 'g'
generic :: g => s1
end type
contains
subroutine s1()
end
subroutine s2(x)
end
end
module m6
type t
contains
procedure :: f1
procedure :: f2
generic :: operator(.eq.) => f1
!ERROR: Binding name 'f1' was already specified for generic 'operator(.eq.)'
generic :: operator(==) => f2, f1
end type
contains
logical function f1(x, y) result(result)
class(t), intent(in) :: x
real, intent(in) :: y
result = .true.
end
logical function f2(x, y) result(result)
class(t), intent(in) :: x
integer, intent(in) :: y
result = .true.
end
end
|
