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
|
! { dg-do compile }
!
! Tests the fix for PR78108 in which an error was triggered by the
! generic operator being resolved more than once in submodules. This
! test checks that the error is triggered when the specific procedure
! really is inserted more than once in the interface.
!
! Note that adding the extra interface to the module produces two
! errors; the one below and 'Duplicate EXTERNAL attribute specified at (1)'
!
! Contributed by Damian Rouson <damian@sourceryinstitute.org>
!
module foo_interface
implicit none
type foo
integer :: x
contains
procedure :: add
generic :: operator(+) => add
procedure :: mult
generic :: operator(*) => mult
end type
interface
integer module function add(lhs,rhs)
implicit none
class(foo), intent(in) :: lhs,rhs
end function
integer module function mult(lhs,rhs)
implicit none
class(foo), intent(in) :: lhs,rhs
end function
end interface
end module
submodule(foo_interface) foo_implementation
interface operator (+)
integer module function add(lhs,rhs)
implicit none
class(foo), intent(in) :: lhs,rhs
end function ! { dg-error "is already present in the interface" }
end interface
contains
integer module function add(lhs,rhs)
implicit none
class(foo), intent(in) :: lhs,rhs
add = lhs % x + rhs % x
end function
integer module function mult(lhs,rhs)
implicit none
class(foo), intent(in) :: lhs,rhs
mult = lhs % x * rhs % x
end function
end submodule
use foo_interface
type(foo) :: a = foo (42)
type(foo) :: b = foo (99)
if (a + b .ne. 141) STOP 1
if (a * b .ne. 4158) STOP 2
end
|
