! { dg-do compile }

! Type-bound procedures
! Test for errors in specific bindings, during parsing (not resolution).

MODULE testmod
  IMPLICIT NONE

  TYPE t
    REAL :: a
  CONTAINS
    PROCEDURE p0 ! { dg-error "no IMPLICIT|module procedure" }
    PRIVATE ! { dg-error "must precede" }
    PROCEDURE p1 => proc1 ! { dg-error "::" }
    PROCEDURE :: ! { dg-error "Expected binding name" }
    PROCEDURE ! { dg-error "Expected binding name" }
    PROCEDURE ? ! { dg-error "Expected binding name" }
    PROCEDURE :: p2 => ! { dg-error "Expected binding target" }
    PROCEDURE :: p3 =>, ! { dg-error "Expected binding target" }
    PROCEDURE p4, ! { dg-error "Junk after" }
    PROCEDURE :: p5 => proc2, ! { dg-error "Junk after" }
    PROCEDURE :: p0 => proc3 ! { dg-error "already a procedure" }
    PROCEDURE, PASS p6 ! { dg-error "::" }
    PROCEDURE, PASS NON_OVERRIDABLE ! { dg-error "Expected" }
    PROCEDURE PASS :: ! { dg-error "Junk after" }
    PROCEDURE, PASS (x ! { dg-error "Expected" }
    PROCEDURE, PASS () ! { dg-error "Expected" }
    PROCEDURE, NOPASS, PASS ! { dg-error "illegal PASS" }
    PROCEDURE, PASS, NON_OVERRIDABLE, PASS(x) ! { dg-error "illegal PASS" }
    PROCEDURE, PUBLIC, PRIVATE ! { dg-error "Duplicate" }
    PROCEDURE, NON_OVERRIDABLE, NON_OVERRIDABLE ! { dg-error "Duplicate" }
    PROCEDURE, NOPASS, NOPASS ! { dg-error "illegal NOPASS" }

    ! TODO: Correct these when things get implemented.
    PROCEDURE, DEFERRED :: x ! { dg-error "not yet implemented" }
    PROCEDURE(abc) ! { dg-error "not yet implemented" }
  END TYPE t

CONTAINS

END MODULE testmod

! { dg-final { cleanup-modules "testmod" } }