dhall-1.25.0: dhall-lang/tests/typecheck/failure/customHeadersUsingBoundVariable.dhall

{- This is a type error because the custom headers are type-checked with an
   empty context.  This is necessary because:

   * import resolution precedes β-normalization
   * we also don't want custom headers to leak program state anyway

   This should fail due to the `x` within the custom header being an unbound
   variable
-}

let x = "Bar"

in https://httpbin.org/headers
     using [ { mapKey = "Foo", mapValue = x } ]
     as Text