steep 0.15.0 → 0.17.0

data/vendor/ruby-signature/lib/rbs/parser.y

@@ -1,1344 +0,0 @@
-class RBS::Parser
-  token tUIDENT tLIDENT tNAMESPACE tINTERFACEIDENT tLKEYWORD tUKEYWORD tGLOBALIDENT
-        tIVAR tCLASSVAR
-        tANNOTATION
-        tSTRING tSYMBOL tINTEGER tWRITE_ATTR
-        kLPAREN kRPAREN kLBRACKET kRBRACKET kLBRACE kRBRACE
-        kVOID kNIL kTRUE kFALSE kANY kUNTYPED kTOP kBOT kSELF kSELFQ kINSTANCE kCLASS kBOOL kSINGLETON kTYPE kDEF kMODULE kSUPER
-        kPRIVATE kPUBLIC kALIAS
-        kCOLON kCOLON2 kCOMMA kBAR kAMP kHAT kARROW kQUESTION kEXCLAMATION kSTAR kSTAR2 kFATARROW kEQ kDOT kLT
-        kINTERFACE kEND kINCLUDE kEXTEND kATTRREADER kATTRWRITER kATTRACCESSOR tOPERATOR tQUOTEDMETHOD tQUOTEDIDENT
-        kPREPEND kEXTENSION kINCOMPATIBLE
-        type_TYPE type_SIGNATURE type_METHODTYPE tEOF
-        kOUT kIN kUNCHECKED
-
-  prechigh
-  nonassoc kQUESTION
-  left kAMP
-  left kBAR
-  nonassoc kARROW
-  preclow
-
-  expect 2
-
-rule
-
-  target:
-      type_TYPE type eof {
-        result = val[1]
-      }
-    | type_SIGNATURE signatures eof {
-        result = val[1]
-      }
-    | type_METHODTYPE method_type eof {
-        result = val[1]
-      }
-
-  eof: | tEOF
-
-  signatures:
-      { result = [] }
-    | signatures signature {
-        result = val[0].push(val[1])
-      }
-
-  signature:
-      type_decl
-    | const_decl
-    | global_decl
-    | interface_decl
-    | module_decl
-    | class_decl
-    | extension_decl
-
-  start_new_scope: { start_new_variables_scope }
-  start_merged_scope: { start_merged_variables_scope }
-
-  annotations:
-      { result = [] }
-    | tANNOTATION annotations {
-        result = val[1].unshift(Annotation.new(string: val[0].value, location: val[0].location))
-      }
-
-  extension_decl:
-      annotations kEXTENSION start_new_scope class_name type_params kLPAREN extension_name kRPAREN class_members kEND {
-        reset_variable_scope
-
-        location = val[1].location + val[9].location
-        result = Declarations::Extension.new(
-          name: val[3].value,
-          type_params: val[4]&.value || [],
-          extension_name: val[6].value.to_sym,
-          members: val[8],
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-
-  extension_name: tUIDENT | tLIDENT
-
-  class_decl:
-      annotations kCLASS start_new_scope class_name module_type_params super_class class_members kEND {
-        reset_variable_scope
-
-        location = val[1].location + val[7].location
-        result = Declarations::Class.new(
-          name: val[3].value,
-          type_params: val[4]&.value || Declarations::ModuleTypeParams.empty,
-          super_class: val[5],
-          members: val[6],
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-
-  super_class:
-      { result = nil }
-    | kLT class_name {
-        result = Declarations::Class::Super.new(name: val[1].value,
-                                                args: [])
-      }
-    | kLT class_name kLBRACKET type_list kRBRACKET {
-        result = Declarations::Class::Super.new(name: val[1].value,
-                                                args: val[3])
-      }
-
-  module_decl:
-      annotations kMODULE start_new_scope class_name module_type_params module_self_type class_members kEND {
-        reset_variable_scope
-
-        location = val[1].location + val[7].location
-        result = Declarations::Module.new(
-          name: val[3].value,
-          type_params: val[4]&.value || Declarations::ModuleTypeParams.empty,
-          self_type: val[5],
-          members: val[6],
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-    | annotations kMODULE start_new_scope tUKEYWORD type class_members kEND {
-        reset_variable_scope
-
-        location = val[1].location + val[6].location
-        result = Declarations::Module.new(
-          name: val[3].value,
-          type_params: Declarations::ModuleTypeParams.empty,
-          self_type: val[4],
-          members: val[5],
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-
-  module_self_type:
-      { result = nil }
-    | kCOLON type {
-        result = val[1]
-      }
-
-  class_members:
-      { result = [] }
-    | class_members class_member {
-        result = val[0].push(val[1])
-      }
-
-  class_member:
-      method_member
-    | include_member
-    | extend_member
-    | prepend_member
-    | var_type_member
-    | attribute_member
-    | kPUBLIC {
-        result = Members::Public.new(location: val[0].location)
-      }
-    | kPRIVATE {
-        result = Members::Private.new(location: val[0].location)
-      }
-    | alias_member
-
-  attribute_member:
-      annotations kATTRREADER keyword type {
-        location = val[1].location + val[3].location
-        result = Members::AttrReader.new(name: val[2].value,
-                                         ivar_name: nil,
-                                         type: val[3],
-                                         annotations: val[0],
-                                         location: location,
-                                         comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kATTRREADER method_name attr_var_opt kCOLON type {
-        location = val[1].location + val[5].location
-        result = Members::AttrReader.new(name: val[2].value.to_sym,
-                                         ivar_name: val[3],
-                                         type: val[5],
-                                         annotations: val[0],
-                                         location: location,
-                                         comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kATTRWRITER keyword type {
-        location = val[1].location + val[3].location
-        result = Members::AttrWriter.new(name: val[2].value,
-                                         ivar_name: nil,
-                                         type: val[3],
-                                         annotations: val[0],
-                                         location: location,
-                                         comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kATTRWRITER method_name attr_var_opt kCOLON type {
-        location = val[1].location + val[5].location
-        result = Members::AttrWriter.new(name: val[2].value.to_sym,
-                                         ivar_name: val[3],
-                                         type: val[5],
-                                         annotations: val[0],
-                                         location: location,
-                                         comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kATTRACCESSOR keyword type {
-        location = val[1].location + val[3].location
-        result = Members::AttrAccessor.new(name: val[2].value,
-                                           ivar_name: nil,
-                                           type: val[3],
-                                           annotations: val[0],
-                                           location: location,
-                                           comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kATTRACCESSOR method_name attr_var_opt kCOLON type {
-        location = val[1].location + val[5].location
-        result = Members::AttrAccessor.new(name: val[2].value.to_sym,
-                                           ivar_name: val[3],
-                                           type: val[5],
-                                           annotations: val[0],
-                                           location: location,
-                                           comment: leading_comment(val[0].first&.location || location))
-      }
-
-  attr_var_opt:
-      { result = nil }
-    | kLPAREN kRPAREN { result = false }
-    | kLPAREN tIVAR kRPAREN { result = val[1].value }
-
-  var_type_member:
-      tIVAR kCOLON type {
-        location = val[0].location + val[2].location
-        result = Members::InstanceVariable.new(
-          name: val[0].value,
-          type: val[2],
-          location: location,
-          comment: leading_comment(location)
-        )
-      }
-    | tCLASSVAR kCOLON type {
-        type = val[2]
-
-        if type.is_a?(Types::Variable)
-          type = Types::ClassInstance.new(
-            name: TypeName.new(name: type.name, namespace: Namespace.empty),
-            args: [],
-            location: type.location
-          )
-        end
-
-        location = val[0].location + val[2].location
-        result = Members::ClassVariable.new(
-          name: val[0].value,
-          type: type,
-          location: location,
-          comment: leading_comment(location)
-        )
-      }
-    | kSELF kDOT tIVAR kCOLON type {
-      type = val[4]
-
-      if type.is_a?(Types::Variable)
-        type = Types::ClassInstance.new(
-          name: TypeName.new(name: type.name, namespace: Namespace.empty),
-          args: [],
-          location: type.location
-        )
-      end
-
-      location = val[0].location + val[4].location
-      result = Members::ClassInstanceVariable.new(
-        name: val[2].value,
-        type: type,
-        location: location,
-        comment: leading_comment(location)
-      )
-    }
-
-  interface_decl:
-      annotations kINTERFACE start_new_scope interface_name module_type_params interface_members kEND {
-        reset_variable_scope
-
-        location = val[1].location + val[6].location
-        result = Declarations::Interface.new(
-          name: val[3].value,
-          type_params: val[4]&.value || Declarations::ModuleTypeParams.empty,
-          members: val[5],
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-
-  interface_members:
-      { result = [] }
-    | interface_members interface_member {
-        result = val[0].push(val[1])
-      }
-
-  interface_member:
-      method_member {
-        unless val[0].kind == :instance
-          raise SemanticsError.new("Interface cannot have singleton method", subject: val[0], location: val[0].location)
-        end
-
-        if val[0].types.last == :super
-          raise SemanticsError.new("Interface method cannot have `super` type", subject: val[0], location: val[0].location)
-        end
-
-        result = val[0]
-      }
-    | include_member {
-        unless val[0].name.interface?
-          raise SemanticsError.new("Interface should include an interface", subject: val[0], location: val[0].location)
-        end
-
-        result = val[0]
-      }
-    | alias_member
-
-  include_member:
-      annotations kINCLUDE qualified_name {
-        if val[2].value.alias?
-          raise SemanticsError.new("Should include module or interface", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[2].location
-        result = Members::Include.new(name: val[2].value,
-                                      args: [],
-                                      annotations: val[0],
-                                      location: location,
-                                      comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kINCLUDE qualified_name kLBRACKET type_list kRBRACKET {
-        if val[2].value.alias?
-          raise SemanticsError.new("Should include module or interface", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[5].location
-        result = Members::Include.new(name: val[2].value,
-                                      args: val[4],
-                                      annotations: val[0],
-                                      location: location,
-                                      comment: leading_comment(val[0].first&.location || location))
-      }
-
-  extend_member:
-      annotations kEXTEND qualified_name {
-        if val[2].value.alias?
-          raise SemanticsError.new("Should extend module or interface", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[2].location
-        result = Members::Extend.new(name: val[2].value,
-                                     args: [],
-                                     annotations: val[0],
-                                     location: location,
-                                     comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kEXTEND qualified_name kLBRACKET type_list kRBRACKET {
-        if val[2].value.alias?
-          raise SemanticsError.new("Should extend module or interface", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[5].location
-        result = Members::Extend.new(name: val[2].value,
-                                     args: val[4],
-                                     annotations: val[0],
-                                     location: location,
-                                     comment: leading_comment(val[0].first&.location || location))
-    }
-
-  prepend_member:
-      annotations kPREPEND qualified_name {
-        unless val[2].value.class?
-          raise SemanticsError.new("Should prepend module", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[2].location
-        result = Members::Prepend.new(name: val[2].value,
-                                      args: [],
-                                      annotations: val[0],
-                                      location: location,
-                                      comment: leading_comment(val[0].first&.location || location))
-      }
-    | annotations kPREPEND qualified_name kLBRACKET type_list kRBRACKET {
-        unless val[2].value.class?
-          raise SemanticsError.new("Should prepend module", subject: val[2].value, location: val[2].location)
-        end
-        location = val[1].location + val[5].location
-        result = Members::Prepend.new(name: val[2].value,
-                                      args: val[4],
-                                      annotations: val[0],
-                                      location: location,
-                                      comment: leading_comment(val[0].first&.location || location))
-      }
-
-  method_member:
-      annotations attributes kDEF method_kind def_name method_types {
-        location = val[2].location + val[5].last.location
-        types = val[5].map do |type|
-          case type
-          when LocatedValue
-            type.value
-          else
-            type
-          end
-        end
-        result = Members::MethodDefinition.new(
-          name: val[4].value,
-          kind: val[3],
-          types: types,
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || val[1].first&.location || val[2].location),
-          attributes: val[1].map(&:value)
-        )
-      }
-
-  attributes:
-      { result = [] }
-    | attributes kINCOMPATIBLE {
-        result = val[0].push(val[1])
-      }
-
-  method_kind:
-      { result = :instance }
-    | kSELF kDOT { result = :singleton }
-    | kSELFQ kDOT { result = :singleton_instance }
-
-  method_types:
-      method_type { result = [val[0]] }
-    | kSUPER { result = [LocatedValue.new(value: :super, location: val[0].location)] }
-    | method_type kBAR method_types {
-        result = val[2].unshift(val[0])
-      }
-
-  method_type:
-      start_merged_scope type_params params_opt block_opt kARROW simple_type {
-        location = (val[1] || val[2] || val[3] || val[4]).location + val[5].location
-        type_params = val[1]&.value || []
-
-        params = val[2]&.value || empty_params_result
-
-        type = Types::Function.new(
-          required_positionals: params[0],
-          optional_positionals: params[1],
-          rest_positionals: params[2],
-          trailing_positionals: params[3],
-          required_keywords: params[4],
-          optional_keywords: params[5],
-          rest_keywords: params[6],
-          return_type: val[5]
-        )
-
-        block = val[3]&.value
-
-        result = MethodType.new(type_params: type_params,
-                                type: type,
-                                block: block,
-                                location: location)
-      }
-
-  params_opt:
-      { result = nil }
-    | kLPAREN params kRPAREN {
-        result = LocatedValue.new(value: val[1], location: val[0].location + val[2].location)
-      }
-
-  block_opt:
-      { result = nil }
-    | kLBRACE function_type kRBRACE {
-        block = MethodType::Block.new(type: val[1].value, required: true)
-        result = LocatedValue.new(value: block, location: val[0].location + val[2].location)
-      }
-    | kQUESTION kLBRACE function_type kRBRACE {
-        block = MethodType::Block.new(type: val[2].value, required: false)
-        result = LocatedValue.new(value: block, location: val[0].location + val[3].location)
-      }
-
-  def_name:
-      keyword
-    | method_name kCOLON {
-        result = LocatedValue.new(value: val[0].value.to_sym,
-                                  location: val[0].location + val[1].location)
-      }
-
-  method_name:
-      tOPERATOR
-    | kAMP | kHAT | kSTAR | kLT | kEXCLAMATION | kSTAR2 | kBAR | kOUT | kIN
-    | method_name0
-    | method_name0 kQUESTION {
-        unless val[0].location.pred?(val[1].location)
-          raise SyntaxError.new(token_str: "kQUESTION", error_value: val[1])
-        end
-
-        result = LocatedValue.new(value: "#{val[0].value}?",
-                                  location: val[0].location + val[1].location)
-      }
-    | method_name0 kEXCLAMATION {
-        unless val[0].location.pred?(val[1].location)
-          raise SyntaxError.new(token_str: "kEXCLAMATION", error_value: val[1])
-        end
-
-        result = LocatedValue.new(value: "#{val[0].value}!",
-                                  location: val[0].location + val[1].location)
-      }
-    | tQUOTEDMETHOD
-    | tQUOTEDIDENT
-    | tWRITE_ATTR
-
-  method_name0: tUIDENT | tLIDENT | identifier_keywords
-
-  identifier_keywords:
-      kCLASS | kVOID | kNIL | kTRUE | kFALSE | kANY | kUNTYPED | kTOP | kBOT | kINSTANCE | kBOOL | kSINGLETON
-    | kTYPE | kMODULE | kPRIVATE | kPUBLIC | kEND | kINCLUDE | kEXTEND | kPREPEND
-    | kATTRREADER | kATTRACCESSOR | kATTRWRITER | kDEF | kEXTENSION | kSELF | kINCOMPATIBLE
-    | kUNCHECKED
-
-  module_type_params:
-      { result = nil }
-    | kLBRACKET module_type_params0 kRBRACKET {
-        val[1].each {|p| insert_bound_variable(p.name) }
-
-        result = LocatedValue.new(value: val[1], location: val[0].location + val[2].location)
-      }
-
-  module_type_params0:
-      module_type_param {
-        result = Declarations::ModuleTypeParams.new()
-        result.add(val[0])
-      }
-    | module_type_params0 kCOMMA module_type_param {
-        result = val[0].add(val[2])
-      }
-
-  module_type_param:
-      type_param_check type_param_variance tUIDENT {
-        result = Declarations::ModuleTypeParams::TypeParam.new(name: val[2].value.to_sym,
-                                                               variance: val[1],
-                                                               skip_validation: val[0])
-      }
-
-  type_param_variance:
-      { result = :invariant }
-    | kOUT { result = :covariant }
-    | kIN { result = :contravariant }
-
-  type_param_check:
-      { result = false }
-    | kUNCHECKED { result = true }
-
-  type_params:
-      { result = nil }
-    | kLBRACKET type_params0 kRBRACKET {
-        val[1].each {|var| insert_bound_variable(var) }
-
-        result = LocatedValue.new(value: val[1],
-                                  location: val[0].location + val[2].location)
-      }
-
-  type_params0:
-      tUIDENT {
-        result = [val[0].value.to_sym]
-      }
-    | type_params0 kCOMMA tUIDENT {
-        result = val[0].push(val[2].value.to_sym)
-      }
-
-  alias_member:
-      annotations kALIAS method_name method_name {
-        location = val[1].location + val[3].location
-        result = Members::Alias.new(
-          new_name: val[2].value.to_sym,
-          old_name: val[3].value.to_sym,
-          kind: :instance,
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-    | annotations kALIAS kSELF kDOT method_name kSELF kDOT method_name {
-        location = val[1].location + val[7].location
-        result = Members::Alias.new(
-          new_name: val[4].value.to_sym,
-          old_name: val[7].value.to_sym,
-          kind: :singleton,
-          annotations: val[0],
-          location: location,
-          comment: leading_comment(val[0].first&.location || location)
-        )
-      }
-
-  type_decl:
-      annotations kTYPE qualified_name kEQ type {
-        location = val[1].location + val[4].location
-        result = Declarations::Alias.new(name: val[2].value,
-                                         type: val[4],
-                                         annotations: val[0],
-                                         location: location,
-                                         comment: leading_comment(val[0].first&.location || location))
-      }
-
-  const_decl:
-      class_name kCOLON type {
-        location = val[0].location + val[2].location
-        result = Declarations::Constant.new(name: val[0].value,
-                                            type: val[2],
-                                            location: location,
-                                            comment: leading_comment(location))
-      }
-    | namespace tUKEYWORD type {
-        location = (val[0] || val[1]).location + val[2].location
-        name = TypeName.new(name: val[1].value, namespace: val[0]&.value || Namespace.empty)
-        result = Declarations::Constant.new(name: name,
-                                            type: val[2],
-                                            location: location,
-                                            comment: leading_comment(location))
-      }
-
-  global_decl:
-      tGLOBALIDENT kCOLON type {
-        location = val[0].location + val[2].location
-        result = Declarations::Global.new(name: val[0].value.to_sym,
-                                          type: val[2],
-                                          location: location,
-                                          comment: leading_comment(location))
-      }
-
-  type:
-      simple_type
-    | type kBAR type {
-        types = case l = val[0]
-                when Types::Union
-                  l.types + [val[2]]
-                else
-                  [l, val[2]]
-                end
-
-        result = Types::Union.new(types: types, location: val[0].location + val[2].location)
-      }
-    | type kAMP type {
-        types = case l = val[0]
-                when Types::Intersection
-                  l.types + [val[2]]
-                else
-                  [l, val[2]]
-                end
-
-        result = Types::Intersection.new(types: types,
-                                         location: val[0].location + val[2].location)
-      }
-
-  simple_type:
-      kVOID {
-        result = Types::Bases::Void.new(location: val[0].location)
-      }
-    | kANY {
-        RBS.logger.warn "`any` type is deprecated. Use `untyped` instead. (#{val[0].location.to_s})"
-        result = Types::Bases::Any.new(location: val[0].location)
-      }
-    | kUNTYPED {
-        result = Types::Bases::Any.new(location: val[0].location)
-      }
-    | kBOOL {
-        result = Types::Bases::Bool.new(location: val[0].location)
-      }
-    | kNIL {
-        result = Types::Bases::Nil.new(location: val[0].location)
-      }
-    | kTOP {
-        result = Types::Bases::Top.new(location: val[0].location)
-      }
-    | kBOT {
-        result = Types::Bases::Bottom.new(location: val[0].location)
-      }
-    | kSELF {
-        result = Types::Bases::Self.new(location: val[0].location)
-      }
-    | kSELFQ {
-        result = Types::Optional.new(type: Types::Bases::Self.new(location: val[0].location),
-                                     location: val[0].location)
-      }
-    | kINSTANCE {
-        result = Types::Bases::Instance.new(location: val[0].location)
-      }
-    | kCLASS {
-        result = Types::Bases::Class.new(location: val[0].location)
-      }
-    | kTRUE {
-        result = Types::Literal.new(literal: true, location: val[0].location)
-      }
-    | kFALSE {
-        result = Types::Literal.new(literal: false, location: val[0].location)
-      }
-    | tINTEGER {
-        result = Types::Literal.new(literal: val[0].value, location: val[0].location)
-      }
-    | tSTRING {
-        result = Types::Literal.new(literal: val[0].value, location: val[0].location)
-      }
-    | tSYMBOL {
-        result = Types::Literal.new(literal: val[0].value, location: val[0].location)
-      }
-    | qualified_name {
-        name = val[0].value
-        args = []
-        location = val[0].location
-
-        case
-        when name.class?
-          if is_bound_variable?(name.name)
-            result = Types::Variable.new(name: name.name, location: location)
-          else
-            result = Types::ClassInstance.new(name: name, args: args, location: location)
-          end
-        when name.alias?
-          result = Types::Alias.new(name: name, location: location)
-        when name.interface?
-          result = Types::Interface.new(name: name, args: args, location: location)
-        end
-      }
-    | qualified_name kLBRACKET type_list kRBRACKET {
-        name = val[0].value
-        args = val[2]
-        location = val[0].location + val[3].location
-
-        case
-        when name.class?
-          if is_bound_variable?(name.name)
-            raise SemanticsError.new("#{name.name} is type variable and cannot be applied", subject: name, location: location)
-          end
-          result = Types::ClassInstance.new(name: name, args: args, location: location)
-        when name.interface?
-          result = Types::Interface.new(name: name, args: args, location: location)
-        else
-          raise SyntaxError.new(token_str: "kLBRACKET", error_value: val[1])
-        end
-      }
-    | kLBRACKET kRBRACKET {
-        location = val[0].location + val[1].location
-        result = Types::Tuple.new(types: [], location: location)
-      }
-    | kLBRACKET type_list kRBRACKET {
-        location = val[0].location + val[2].location
-        types = val[1]
-        result = Types::Tuple.new(types: types, location: location)
-      }
-    | kLPAREN type kRPAREN {
-        type = val[1].dup
-        type.instance_eval do
-          @location = val[0].location + val[2].location
-        end
-        result = type
-      }
-    | kSINGLETON kLPAREN class_name kRPAREN {
-        result = Types::ClassSingleton.new(name: val[2].value,
-                                           location: val[0].location + val[3].location)
-      }
-    | kHAT function_type {
-        result = Types::Proc.new(type: val[1].value, location: val[0].location + val[1].location)
-      }
-    | simple_type kQUESTION {
-        result = Types::Optional.new(type: val[0], location: val[0].location + val[1].location)
-      }
-    | record_type
-
-  type_list:
-      type {
-        result = [val[0]]
-      }
-    | type_list kCOMMA type {
-        result = val[0] + [val[2]]
-      }
-
-  record_type:
-      kLBRACE record_fields kRBRACE {
-        result = Types::Record.new(
-          fields: val[1],
-          location: val[0].location + val[2].location
-        )
-      }
-
-  record_fields:
-      record_field {
-        result = val[0]
-      }
-    | record_field kCOMMA record_fields {
-        result = val[0].merge!(val[2])
-      }
-
-  record_field:
-      tSYMBOL kFATARROW type {
-        result = { val[0].value => val[2] }
-      }
-    | tSTRING kFATARROW type {
-        result = { val[0].value => val[2] }
-      }
-    | tINTEGER kFATARROW type {
-        result = { val[0].value => val[2] }
-      }
-    | keyword type {
-        result = { val[0].value => val[1] }
-      }
-
-  keyword_name:
-      keyword
-    | identifier_keywords kCOLON {
-        result = val[0]
-      }
-
-  keyword: tLKEYWORD | tUKEYWORD
-
-  function_type:
-      kLPAREN params kRPAREN kARROW simple_type {
-        location = val[0].location + val[4].location
-        type = Types::Function.new(
-          required_positionals: val[1][0],
-          optional_positionals: val[1][1],
-          rest_positionals: val[1][2],
-          trailing_positionals: val[1][3],
-          required_keywords: val[1][4],
-          optional_keywords: val[1][5],
-          rest_keywords: val[1][6],
-          return_type: val[4],
-        )
-
-        result = LocatedValue.new(value: type, location: location)
-      }
-    | kARROW simple_type {
-        location = val[0].location + val[1].location
-        type = Types::Function.new(
-          required_positionals: [],
-          optional_positionals: [],
-          rest_positionals: nil,
-          trailing_positionals: [],
-          required_keywords: {},
-          optional_keywords: {},
-          rest_keywords: nil,
-          return_type: val[2]
-        )
-
-        result = LocatedValue.new(value: type, location: location)
-      }
-
-    params:
-      required_positional kCOMMA params {
-        result = val[2]
-        result[0].unshift(val[0])
-      }
-    | required_positional {
-        result = empty_params_result
-        result[0].unshift(val[0])
-      }
-    | optional_positional_params
-
-  optional_positional_params:
-      optional_positional kCOMMA optional_positional_params {
-        result = val[2]
-        result[1].unshift(val[0])
-      }
-    | optional_positional {
-        result = empty_params_result
-        result[1].unshift(val[0])
-      }
-    | rest_positional_param
-
-  rest_positional_param:
-      rest_positional kCOMMA trailing_positional_params {
-        result = val[2]
-        result[2] = val[0]
-      }
-    | rest_positional {
-        result = empty_params_result
-        result[2] = val[0]
-      }
-    | trailing_positional_params
-
-  trailing_positional_params:
-      required_positional kCOMMA trailing_positional_params {
-        result = val[2]
-        result[3].unshift(val[0])
-      }
-    | required_positional {
-        result = empty_params_result
-        result[3].unshift(val[0])
-      }
-    | keyword_params
-
-  keyword_params:
-      {
-        result = empty_params_result
-      }
-    | required_keyword kCOMMA keyword_params {
-        result = val[2]
-        result[4].merge!(val[0])
-      }
-    | required_keyword {
-        result = empty_params_result
-        result[4].merge!(val[0])
-      }
-    | optional_keyword kCOMMA keyword_params {
-        result = val[2]
-        result[5].merge!(val[0])
-      }
-    | optional_keyword {
-        result = empty_params_result
-        result[5].merge!(val[0])
-      }
-    | rest_keyword {
-        result = empty_params_result
-        result[6] = val[0]
-      }
-
-  required_positional:
-      type var_name_opt {
-        result = Types::Function::Param.new(type: val[0],
-                                            name: val[1]&.value&.to_sym)
-      }
-
-  optional_positional:
-      kQUESTION type var_name_opt {
-        result = Types::Function::Param.new(type: val[1],
-                                            name: val[2]&.value&.to_sym)
-      }
-
-  rest_positional:
-      kSTAR type var_name_opt {
-        result = Types::Function::Param.new(type: val[1],
-                                            name: val[2]&.value&.to_sym)
-      }
-
-  required_keyword:
-      keyword_name type var_name_opt {
-        param = Types::Function::Param.new(type: val[1],
-                                           name: val[2]&.value&.to_sym)
-        result = { val[0].value => param }
-      }
-
-  optional_keyword:
-      kQUESTION keyword_name type var_name_opt {
-        param = Types::Function::Param.new(type: val[2],
-                                           name: val[3]&.value&.to_sym)
-        result = { val[1].value => param }
-      }
-
-  rest_keyword:
-      kSTAR2 type var_name_opt {
-        result = Types::Function::Param.new(type: val[1],
-                                            name: val[2]&.value&.to_sym)
-      }
-
-  var_name_opt:
-    | tLIDENT | tINTERFACEIDENT | tQUOTEDIDENT
-
-  qualified_name:
-      namespace simple_name {
-        namespace = val[0]&.value || Namespace.empty
-        name = val[1].value.to_sym
-        type_name = TypeName.new(namespace: namespace, name: name)
-        location = (loc0 = val[0]&.location) ? loc0 + val[1].location : val[1].location
-        result = LocatedValue.new(value: type_name, location: location)
-      }
-
-  simple_name:
-      tUIDENT | tLIDENT | tINTERFACEIDENT
-
-  interface_name:
-      namespace tINTERFACEIDENT {
-        namespace = val[0]&.value || Namespace.empty
-        name = val[1].value.to_sym
-        type_name = TypeName.new(namespace: namespace, name: name)
-        location = (loc0 = val[0]&.location) ? loc0 + val[1].location : val[1].location
-        result = LocatedValue.new(value: type_name, location: location)
-      }
-
-  class_name:
-      namespace tUIDENT {
-        namespace = val[0]&.value || Namespace.empty
-        name = val[1].value.to_sym
-        type_name = TypeName.new(namespace: namespace, name: name)
-        location = (loc0 = val[0]&.location) ? loc0 + val[1].location : val[1].location
-        result = LocatedValue.new(value: type_name, location: location)
-      }
-
-  namespace:
-      {
-        result = nil
-      }
-    | kCOLON2 {
-        result = LocatedValue.new(value: Namespace.root, location: val[0].location)
-      }
-    | kCOLON2 tNAMESPACE {
-        namespace = Namespace.parse(val[1].value).absolute!
-        result = LocatedValue.new(value: namespace, location: val[0].location + val[1].location)
-      }
-    | tNAMESPACE {
-        namespace = Namespace.parse(val[0].value)
-        result = LocatedValue.new(value: namespace, location: val[0].location)
-      }
-end
-
----- inner
-
-Types = RBS::Types
-Namespace = RBS::Namespace
-TypeName = RBS::TypeName
-Declarations = RBS::AST::Declarations
-Members = RBS::AST::Members
-MethodType = RBS::MethodType
-Annotation = RBS::AST::Annotation
-
-class LocatedValue
-  attr_reader :location
-  attr_reader :value
-
-  def initialize(location:, value:)
-    @location = location
-    @value = value
-  end
-end
-
-require "strscan"
-
-attr_reader :input
-attr_reader :buffer
-attr_reader :eof_re
-
-def initialize(type, buffer:, eof_re:)
-  super()
-  @type = type
-  @buffer = buffer
-  @input = StringScanner.new(buffer.content)
-  @eof_re = eof_re
-  @eof = false
-  @bound_variables_stack = []
-  @comments = {}
-end
-
-def start_merged_variables_scope
-  set = @bound_variables_stack.last&.dup || Set.new
-  @bound_variables_stack.push set
-end
-
-def start_new_variables_scope
-  @bound_variables_stack.push Set.new
-end
-
-def reset_variable_scope
-  @bound_variables_stack.pop
-end
-
-def insert_bound_variable(var)
-  @bound_variables_stack.last << var
-end
-
-def is_bound_variable?(var)
-  (@bound_variables_stack.last || Set.new).member?(var)
-end
-
-def self.parse_signature(input, eof_re: nil)
-  case input
-  when RBS::Buffer
-    buffer = input
-  else
-    buffer = RBS::Buffer.new(name: nil, content: input.to_s)
-  end
-
-  self.new(:SIGNATURE, buffer: buffer, eof_re: eof_re).do_parse
-end
-
-def self.parse_type(input, variables: [], eof_re: nil)
-  case input
-  when RBS::Buffer
-    buffer = input
-  else
-    buffer = RBS::Buffer.new(name: nil, content: input.to_s)
-  end
-
-  self.new(:TYPE, buffer: buffer, eof_re: eof_re).yield_self do |parser|
-    parser.start_new_variables_scope
-
-    variables.each do |var|
-      parser.insert_bound_variable var
-    end
-
-    parser.do_parse
-  ensure
-    parser.reset_variable_scope
-  end
-end
-
-def self.parse_method_type(input, variables: [], eof_re: nil)
-  case input
-  when RBS::Buffer
-    buffer = input
-  else
-    buffer = RBS::Buffer.new(name: nil, content: input.to_s)
-  end
-
-  self.new(:METHODTYPE, buffer: buffer, eof_re: eof_re).yield_self do |parser|
-    parser.start_new_variables_scope
-
-    variables.each do |var|
-      parser.insert_bound_variable var
-    end
-
-    parser.do_parse
-  ensure
-    parser.reset_variable_scope
-  end
-end
-
-def leading_comment(location)
-  @comments[location.start_line-1]
-end
-
-def push_comment(string, location)
-  new_comment = AST::Comment.new(string: string+"\n", location: location)
-
-  if (prev_comment = leading_comment(location)) && prev_comment.location.start_column == location.start_column
-    @comments.delete prev_comment.location.end_line
-    new_comment = AST::Comment.new(string: prev_comment.string + new_comment.string,
-                                   location: prev_comment.location + new_comment.location)
-  end
-
-  @comments[new_comment.location.end_line] = new_comment
-end
-
-def new_token(type, value = input.matched)
-  start_index = input.charpos - input.matched.size
-  end_index = input.charpos
-
-  location = RBS::Location.new(buffer: buffer,
-                                           start_pos: start_index,
-                                           end_pos: end_index)
-
-  [type, LocatedValue.new(location: location, value: value)]
-end
-
-def empty_params_result
-  [
-    [],
-    [],
-    nil,
-    [],
-    {},
-    {},
-    nil
-  ]
-end
-
-KEYWORDS = {
-  "class" => :kCLASS,
-  "type" => :kTYPE,
-  "def" => :kDEF,
-  "self" => :kSELF,
-  "void" => :kVOID,
-  "any" => :kANY,
-  "untyped" => :kUNTYPED,
-  "top" => :kTOP,
-  "bot" => :kBOT,
-  "instance" => :kINSTANCE,
-  "bool" => :kBOOL,
-  "nil" => :kNIL,
-  "true" => :kTRUE,
-  "false" => :kFALSE,
-  "singleton" => :kSINGLETON,
-  "interface" => :kINTERFACE,
-  "end" => :kEND,
-  "include" => :kINCLUDE,
-  "extend" => :kEXTEND,
-  "prepend" => :kPREPEND,
-  "module" => :kMODULE,
-  "attr_reader" => :kATTRREADER,
-  "attr_writer" => :kATTRWRITER,
-  "attr_accessor" => :kATTRACCESSOR,
-  "super" => :kSUPER,
-  "public" => :kPUBLIC,
-  "private" => :kPRIVATE,
-  "alias" => :kALIAS,
-  "extension" => :kEXTENSION,
-  "incompatible" => :kINCOMPATIBLE,
-  "unchecked" => :kUNCHECKED,
-  "out" => :kOUT,
-  "in" => :kIN,
-}
-KEYWORDS_RE = /#{Regexp.union(*KEYWORDS.keys)}\b/
-
-PUNCTS = {
-  "===" => :tOPERATOR,
-  "==" => :tOPERATOR,
-  "=~" => :tOPERATOR,
-  "!~" => :tOPERATOR,
-  "!=" => :tOPERATOR,
-  ">=" => :tOPERATOR,
-  "<<" => :tOPERATOR,
-  "<=>" => :tOPERATOR,
-  "<=" => :tOPERATOR,
-  ">>" => :tOPERATOR,
-  ">" => :tOPERATOR,
-  "~" => :tOPERATOR,
-  "+@" => :tOPERATOR,
-  "+" => :tOPERATOR,
-  "[]=" => :tOPERATOR,
-  "[]" => :tOPERATOR,
-  "::" => :kCOLON2,
-  ":" => :kCOLON,
-  "(" => :kLPAREN,
-  ")" => :kRPAREN,
-  "[" => :kLBRACKET,
-  "]" => :kRBRACKET,
-  "{" => :kLBRACE,
-  "}" => :kRBRACE,
-  "," => :kCOMMA,
-  "|" => :kBAR,
-  "&" => :kAMP,
-  "^" => :kHAT,
-  "->" => :kARROW,
-  "=>" => :kFATARROW,
-  "=" => :kEQ,
-  "?" => :kQUESTION,
-  "!" => :kEXCLAMATION,
-  "**" => :kSTAR2,
-  "*" => :kSTAR,
-  "." => :kDOT,
-  "<" => :kLT,
-  "-@" => :tOPERATOR,
-  "-" => :tOPERATOR,
-  "/" => :tOPERATOR,
-  "`" => :tOPERATOR,
-  "%" => :tOPERATOR,
-}
-PUNCTS_RE = Regexp.union(*PUNCTS.keys)
-
-ANNOTATION_RE = Regexp.union(/%a\{.*?\}/,
-                             /%a\[.*?\]/,
-                             /%a\(.*?\)/,
-                             /%a\<.*?\>/,
-                             /%a\|.*?\|/)
-def next_token
-  if @type
-    type = @type
-    @type = nil
-    return [:"type_#{type}", nil]
-  end
-
-  return if @eof
-
-  while true
-    return if input.eos?
-
-    case
-    when input.scan(/\s+/)
-      # skip
-    when input.scan(/#(( *)|( ?(?<string>.*)))\n/)
-      start_index = input.charpos - input.matched.size
-      end_index = input.charpos-1
-
-      location = RBS::Location.new(buffer: buffer,
-                                               start_pos: start_index,
-                                               end_pos: end_index)
-
-      push_comment input[:string] || "", location
-    else
-      break
-    end
-  end
-
-  case
-  when eof_re && input.scan(eof_re)
-    @eof = true
-    [:tEOF, input.matched]
-  when input.scan(/`[a-zA-Z_]\w*`/)
-    s = input.matched.yield_self {|s| s[1, s.length-2] }
-    new_token(:tQUOTEDIDENT, s)
-  when input.scan(/`(\\`|[^` :])+`/)
-    s = input.matched.yield_self {|s| s[1, s.length-2] }.gsub(/\\`/, '`')
-    new_token(:tQUOTEDMETHOD, s)
-  when input.scan(ANNOTATION_RE)
-    s = input.matched.yield_self {|s| s[3, s.length-4] }.strip
-    new_token(:tANNOTATION, s)
-  when input.scan(/self\?/)
-    new_token(:kSELFQ, "self?")
-  when input.scan(/(([a-zA-Z]\w*)|(_\w+))=/)
-    new_token(:tWRITE_ATTR)
-  when input.scan(KEYWORDS_RE)
-    new_token(KEYWORDS[input.matched], input.matched.to_sym)
-  when input.scan(/:((@{,2}|\$)?\w+(\?|\!)?|\+|\-)\b?/)
-    s = input.matched.yield_self {|s| s[1, s.length] }.to_sym
-    new_token(:tSYMBOL, s)
-  when input.scan(/[+-]?\d[\d_]*/)
-    new_token(:tINTEGER, input.matched.to_i)
-  when input.scan(PUNCTS_RE)
-    new_token(PUNCTS[input.matched])
-  when input.scan(/(::)?([A-Z]\w*::)+/)
-    new_token(:tNAMESPACE)
-  when input.scan(/[a-z_]\w*:/)
-    new_token(:tLKEYWORD, input.matched.chop.to_sym)
-  when input.scan(/[A-Z]\w*:/)
-    new_token(:tUKEYWORD, input.matched.chop.to_sym)
-  when input.scan(/\$[A-Za-z_]\w*/)
-    new_token(:tGLOBALIDENT)
-  when input.scan(/@[a-zA-Z_]\w*/)
-    new_token(:tIVAR, input.matched.to_sym)
-  when input.scan(/@@[a-zA-Z_]\w*/)
-    new_token(:tCLASSVAR, input.matched.to_sym)
-  when input.scan(/_[a-zA-Z]\w*\b/)
-    new_token(:tINTERFACEIDENT)
-  when input.scan(/[A-Z]\w*\b/)
-    new_token(:tUIDENT)
-  when input.scan(/[a-z_]\w*\b/)
-    new_token(:tLIDENT)
-  when input.scan(/"(\\"|[^"])*"/)
-    s = input.matched.yield_self {|s| s[1, s.length - 2] }.gsub(/\\"/, '"')
-    new_token(:tSTRING, s)
-  when input.scan(/'(\\'|[^'])*'/)
-    s = input.matched.yield_self {|s| s[1, s.length - 2] }.gsub(/\\'/, "'")
-    new_token(:tSTRING, s)
-  else
-    raise "Unexpected token: #{input.peek(10)}..."
-  end
-end
-
-def on_error(token_id, error_value, value_stack)
-  raise SyntaxError.new(token_str: token_to_str(token_id), error_value: error_value, value_stack: value_stack)
-end
-
-class SyntaxError < StandardError
-  attr_reader :token_str, :error_value, :value_stack
-
-  def initialize(token_str:, error_value:, value_stack: nil)
-    @token_str = token_str
-    @error_value = error_value
-    @value_stack = value_stack
-
-    super "parse error on value: #{error_value.inspect} (#{token_str})"
-  end
-end
-
-class SemanticsError < StandardError
-  attr_reader :subject, :location, :original_message
-
-  def initialize(message, subject:, location:)
-    @subject = subject
-    @location = location
-    @original_message = message
-
-    super "parse error on #{location}: #{message}"
-  end
-end
-
----- footer