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
|
! RUN: %python %S/test_errors.py %s %flang_fc1
! Structural equivalence of derived type definitions
module m
interface
module subroutine s1(x)
type :: nonseq
integer :: n
end type
type(nonseq), intent(in) :: x
end subroutine
module subroutine s2(x)
type :: seq
sequence
integer :: n
end type
type(seq), intent(in) :: x
end subroutine
module subroutine s3(x)
type :: chlen
sequence
character(2) :: s
end type
type(chlen), intent(in) :: x
end subroutine
module subroutine s4(x)
!ERROR: A sequence type may not have type parameters
type :: pdt(k)
integer, kind :: k
sequence
real(k) :: a
end type
type(pdt(4)), intent(in) :: x
end subroutine
end interface
end module
submodule(m) sm
contains
module subroutine s1(x)
type :: nonseq
integer :: n
end type
!ERROR: Dummy argument 'x' has type nonseq; the corresponding argument in the interface body has distinct type nonseq
type(nonseq), intent(in) :: x
end subroutine
module subroutine s2(x) ! ok
type :: seq
sequence
integer :: n
end type
type(seq), intent(in) :: x
end subroutine
module subroutine s3(x)
type :: chlen
sequence
character(3) :: s ! note: length is 3, not 2
end type
!ERROR: Dummy argument 'x' has type chlen; the corresponding argument in the interface body has distinct type chlen
type(chlen), intent(in) :: x
end subroutine
module subroutine s4(x)
!ERROR: A sequence type may not have type parameters
type :: pdt(k)
integer, kind :: k
sequence
real(k) :: a
end type
!ERROR: Dummy argument 'x' has type pdt(k=4_4); the corresponding argument in the interface body has distinct type pdt(k=4_4)
type(pdt(4)), intent(in) :: x
end subroutine
end submodule
program main
use m
type :: nonseq
integer :: n
end type
type :: seq
sequence
integer :: n
end type
type :: chlen
sequence
character(2) :: s
end type
!ERROR: A sequence type may not have type parameters
type :: pdt(k)
integer, kind :: k
sequence
real(k) :: a
end type
!ERROR: Actual argument type 'nonseq' is not compatible with dummy argument type 'nonseq'
call s1(nonseq(1))
call s2(seq(1)) ! ok
call s3(chlen('ab')) ! ok, matches interface
!ERROR: Actual argument type 'pdt(k=4_4)' is not compatible with dummy argument type 'pdt(k=4_4)'
call s4(pdt(4)(3.14159))
end program
|
