blob: b59fd44c985a64ab7232356e9e857f432f121eb8 [file] [log] [blame]
! RUN: %python %S/test_modfile.py %s %flang_fc1
! Test writing procedure bindings in a derived type.
module m
interface
subroutine a(i, j)
integer :: i, j
end subroutine
end interface
type, abstract :: t
integer :: i
contains
procedure(a), deferred, nopass :: q
procedure(b), deferred, nopass :: p, r
end type
type t2
integer :: x
contains
private
final :: c
procedure, non_overridable :: d
end type
type, abstract :: t2a
contains
procedure(a), deferred, public, nopass :: e
end type
type t3
sequence
integer i
real x
double precision y
double complex z
end type
contains
subroutine b()
end subroutine
subroutine c(x)
type(t2) :: x
end subroutine
subroutine d(x)
class(t2) :: x
end subroutine
subroutine test
type(t2) :: x
call x%d()
end subroutine
end module
!Expect: m.mod
!module m
! interface
! subroutine a(i,j)
! integer(4)::i
! integer(4)::j
! end
! end interface
! type,abstract::t
! integer(4)::i
! contains
! procedure(a),deferred,nopass::q
! procedure(b),deferred,nopass::p
! procedure(b),deferred,nopass::r
! end type
! type::t2
! integer(4)::x
! contains
! procedure,non_overridable,private::d
! final::c
! end type
! type,abstract::t2a
! contains
! procedure(a),deferred,nopass::e
! end type
! type::t3
! sequence
! integer(4)::i
! real(4)::x
! real(8)::y
! complex(8)::z
! end type
!contains
! subroutine b()
! end
! subroutine c(x)
! type(t2)::x
! end
! subroutine d(x)
! class(t2)::x
! end
! subroutine test()
! end
!end
! Ensure the type is emitted before its use
module m2
private s
type :: t
contains
procedure :: foo
end type
abstract interface
subroutine s(x)
import
type(t) :: x
end subroutine
end interface
contains
subroutine foo(x)
class(t) :: x
end subroutine
end module
!Expect: m2.mod
!module m2
! type::t
! contains
! procedure::foo
! end type
! private::s
! abstract interface
! subroutine s(x)
! import::t
! type(t)::x
! end
! end interface
!contains
! subroutine foo(x)
! class(t)::x
! end
!end