================================================================================
errors/moduleExtendsSelf
================================================================================

open module moduleExtendsSelf

extends "moduleExtendsSelf.pkl"

--------------------------------------------------------------------------------

(module
  (moduleHeader
    (moduleClause
      (modifier)
      (qualifiedIdentifier
        (identifier)))
    (extendsOrAmendsClause
      (stringConstant))))
