Parse TypeExtensionDefinition

Author: Josh Price

src/graphql_lexer.xrl

@@ -42,7 +42,7 @@ StringValue         = "{StringCharacter}*"
 BooleanValue        = true|false
 
 % Reserved words
-ReservedWord        = query|mutation|fragment|on|type|implements|interface|union|scalar|enum|input|null
+ReservedWord        = query|mutation|fragment|on|type|implements|interface|union|scalar|enum|input|extend|null
 
 Rules.
 

src/graphql_parser.yrl

@@ -17,7 +17,7 @@ Nonterminals
 Terminals
   '{' '}' '(' ')' '[' ']' '!' ':' '@' '$' '=' '|' '...'
   'query' 'mutation' 'fragment' 'on'
-  'type' 'implements' 'interface' 'union' 'scalar' 'enum' 'input'
+  'type' 'implements' 'interface' 'union' 'scalar' 'enum' 'input' 'extend'
   name int_value float_value string_value boolean_value.
 
 Rootsymbol Document.
@@ -134,7 +134,7 @@ TypeDefinition -> UnionTypeDefinition : '$1'.
 TypeDefinition -> ScalarTypeDefinition : '$1'.
 TypeDefinition -> EnumTypeDefinition : '$1'.
 TypeDefinition -> InputObjectTypeDefinition : '$1'.
-% TypeDefinition -> TypeExtensionDefinition : '$1'.
+TypeDefinition -> TypeExtensionDefinition : '$1'.
 
 ObjectTypeDefinition -> 'type' Name '{' FieldDefinitionList '}' :
   build_ast_node('ObjectTypeDefinition', [{'name', '$2'}, {'fields', '$4'}]).
@@ -181,6 +181,9 @@ EnumValueDefinition -> EnumValue : '$1'.
 InputObjectTypeDefinition -> 'input' Name '{' InputValueDefinitionList '}' :
   build_ast_node('InputObjectTypeDefinition', [{'name', '$2'}, {'fields', '$4'}]).
 
+TypeExtensionDefinition -> 'extend' ObjectTypeDefinition :
+  build_ast_node('TypeExtensionDefinition', [{'definition', '$2'}]).
+
 Erlang code.
 
 extract_atom({Value, _Line}) -> Value.

test/graphql_parser_test.exs

@@ -410,4 +410,17 @@ defmodule GraphqlParserTest do
               [kind: :InputValueDefinition, loc: [start: 0], name: 'y',
                 type: [kind: :NamedType, loc: [start: 0], name: 'Float']]]]]]
   end
+
+  test "TypeExtensionDefinition" do
+    assert_parse 'extend type Story { isHiddenLocally: Boolean }',
+      [kind: :Document, loc: [start: 0],
+        definitions: [
+          [kind: :TypeExtensionDefinition, loc: [start: 0],
+            definition: [kind: :ObjectTypeDefinition, loc: [start: 0],
+              name: 'Story',
+              fields: [
+                [kind: :FieldDefinition, loc: [start: 0],
+                  name: 'isHiddenLocally',
+                  type: [kind: :NamedType, loc: [start: 0], name: 'Boolean']]]]]]]
+  end
 end