Typechecking Variables

[hendrikniemann]

We have to typecheck variables based on their definition and place of use. The following query is invalid but is currently accepted by PureScript GraphQL.

type Query {
  hello(name: String!)
}

query example($name: Int!) {
  hello(name: $name)
}