Fragment directive overriding is underspecified

[swolchok]

The Fragment Directives section says that "At runtime, the directives provided on a fragment spread override those described on the definition.", but "override" here is not sufficiently precise. Consider the following example:

query example { ...F @bar }
fragment F on Query @foo { some_field }

Is this equivalent to using both @foo and @bar or just @bar? (Presumably, "neither" and "just @foo" wouldn't be consistent with "override.") Does it matter if @bar and @foo have any kind of interaction in their effects?

[swolchok]

Oh, there is a formalism FragmentSpreadDirectives that answers this. It could really be incorporated into the text better.

[leebyron]

Leaving it open as a note to improve the text

[IvanGoncharov]

@swolchok This section was removed in 1c38e6a:

In addition, this changes the specification of the @skip and @include directives to no longer allow their use on fragment directives (but are still allowed on fragment spreads and inline fragments). Because of this, a section on "merging fragment directives" is no longer useful.