| ! { dg-do compile } |
| ! |
| ! Error checking for the intrinsic functions SAME_TYPE_AS and EXTENDS_TYPE_OF. |
| ! |
| ! Contributed by Janus Weil <janus@gcc.gnu.org> |
| |
| type :: t1 |
| integer :: i |
| end type |
| |
| type :: ts |
| sequence |
| integer :: j |
| end type |
| |
| TYPE(t1) :: x1 |
| TYPE(ts) :: x2 |
| |
| integer :: i |
| |
| print *, SAME_TYPE_AS (i,x1) ! { dg-error "cannot be of type INTEGER" } |
| print *, SAME_TYPE_AS (x1,x2) ! { dg-error "must be of an extensible type" } |
| |
| print *, EXTENDS_TYPE_OF (i,x1) ! { dg-error "cannot be of type INTEGER" } |
| print *, EXTENDS_TYPE_OF (x1,x2) ! { dg-error "must be of an extensible type" } |
| |
| end |