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
|
! RUN: %S/test_errors.sh %s %t %f18
module m2
public s2, s4
private s3
contains
subroutine s2
end
subroutine s3
end
subroutine s4
end
end module
module m
use m2
external bar
interface
subroutine foo
end subroutine
end interface
integer :: i
type t1
integer :: c
contains
!ERROR: The binding of 'a' ('missing') must be either an accessible module procedure or an external procedure with an explicit interface
procedure, nopass :: a => missing
procedure, nopass :: b => s, s2
!ERROR: Type parameter, component, or procedure binding 'c' already defined in this type
procedure, nopass :: c
!ERROR: DEFERRED is only allowed when an interface-name is provided
procedure, nopass, deferred :: d => s
!Note: s3 not found because it's not accessible -- should we issue a message
!to that effect?
!ERROR: 's3' must be either an accessible module procedure or an external procedure with an explicit interface
procedure, nopass :: s3
procedure, nopass :: foo
!ERROR: 'bar' must be either an accessible module procedure or an external procedure with an explicit interface
procedure, nopass :: bar
!ERROR: 'i' must be either an accessible module procedure or an external procedure with an explicit interface
procedure, nopass :: i
!ERROR: Type parameter, component, or procedure binding 'b' already defined in this type
procedure, nopass :: b => s4
!ERROR: DEFERRED is required when an interface-name is provided
procedure(foo), nopass :: g
end type
type, abstract :: t1a ! DEFERRED valid only in ABSTRACT derived type
contains
procedure(foo), nopass, deferred :: e
procedure(s), nopass, deferred :: f
!ERROR: Type parameter, component, or procedure binding 'f' already defined in this type
procedure(foo), nopass, deferred :: f
!ERROR: 'bar' must be an abstract interface or a procedure with an explicit interface
procedure(bar), nopass, deferred :: h
end type
type t2
integer :: i
contains
procedure, nopass :: b => s
final :: f
!ERROR: Type parameter, component, or procedure binding 'i' already defined in this type
final :: i
end type
type t3
contains
private
procedure, nopass :: b => s
procedure, nopass, public :: f
end type
contains
subroutine s
end
subroutine f(x)
type(t2) :: x
end
end module
|
