1! { dg-do compile }
2
3! Type-bound procedures
4! Test for basic parsing errors for invalid DEFERRED.
5
6MODULE testmod
7  IMPLICIT NONE
8
9  ABSTRACT INTERFACE
10    SUBROUTINE intf ()
11    END SUBROUTINE intf
12  END INTERFACE
13
14  TYPE not_abstract
15  CONTAINS
16    PROCEDURE(intf), DEFERRED, NOPASS :: proc ! { dg-error "is not ABSTRACT" }
17  END TYPE not_abstract
18
19  TYPE, ABSTRACT :: abstract_type
20  CONTAINS
21    PROCEDURE, DEFERRED :: p2 ! { dg-error "Interface must be specified" }
22    PROCEDURE(intf), NOPASS :: p3 ! { dg-error "should be declared DEFERRED" }
23    PROCEDURE(intf), DEFERRED, NON_OVERRIDABLE :: p4 ! { dg-error "can't both" }
24    PROCEDURE(unknown), DEFERRED :: p5 ! { dg-error "has no IMPLICIT|must be explicit" }
25    PROCEDURE(intf), DEFERRED, DEFERRED :: p6 ! { dg-error "Duplicate DEFERRED" }
26    PROCEDURE(intf), DEFERRED :: p6 => proc ! { dg-error "is invalid for DEFERRED" }
27    PROCEDURE(), DEFERRED :: p7 ! { dg-error "Interface-name expected" }
28    PROCEDURE(intf, DEFERRED) :: p8 ! { dg-error "'\\)' expected" }
29  END TYPE abstract_type
30
31END MODULE testmod
32