| ! { dg-do compile } |
| |
| ! Type-bound procedures |
| ! Test for basic parsing errors for invalid DEFERRED. |
| |
| MODULE testmod |
| IMPLICIT NONE |
| |
| ABSTRACT INTERFACE |
| SUBROUTINE intf () |
| END SUBROUTINE intf |
| END INTERFACE |
| |
| TYPE not_abstract |
| CONTAINS |
| PROCEDURE(intf), DEFERRED, NOPASS :: proc ! { dg-error "is not ABSTRACT" } |
| END TYPE not_abstract |
| |
| TYPE, ABSTRACT :: abstract_type |
| CONTAINS |
| PROCEDURE, DEFERRED :: p2 ! { dg-error "Interface must be specified" } |
| PROCEDURE(intf), NOPASS :: p3 ! { dg-error "should be declared DEFERRED" } |
| PROCEDURE(intf), DEFERRED, NON_OVERRIDABLE :: p4 ! { dg-error "can't both" } |
| PROCEDURE(unknown), DEFERRED :: p5 ! { dg-error "has no IMPLICIT|must be explicit" } |
| PROCEDURE(intf), DEFERRED, DEFERRED :: p6 ! { dg-error "Duplicate DEFERRED" } |
| PROCEDURE(intf), DEFERRED :: p6 => proc ! { dg-error "is invalid for DEFERRED" } |
| PROCEDURE(), DEFERRED :: p7 ! { dg-error "Interface-name expected" } |
| PROCEDURE(intf, DEFERRED) :: p8 ! { dg-error "'\\)' expected" } |
| END TYPE abstract_type |
| |
| END MODULE testmod |