<p>I'm getting a strange error message which I don't understand when trying to use Dhall for Kubernetes. Here is my configuration:</p>
<pre><code>let k8s = ./k8s.dhall

let utils = ./utils.dhall

let Env = utils.Env

in  \(env : Env) -&gt;
      k8s.Ingress::{
      , metadata = k8s.ObjectMeta::{
        , name = Some &quot;my-ingress&quot;
        , annotations = Some
          [ { mapKey = &quot;kubernetes.io/ingress.global-static-ip-name&quot;
            , mapValue = &quot;my-ip&quot;
            }
          ]
        }
      , spec = Some k8s.IngressSpec::{
        , defaultBackend = Some k8s.IngressBackend::{
          , service = Some k8s.IngressServiceBackend::{
            , name = &quot;my-nginx&quot;
            , port = Some k8s.ServiceBackendPort::{ number = Some 71742 }
            }
          }
        }
      }

</code></pre>
<p>And here is the error message:</p>
<pre><code>↳ ./ingress.dhall

Error: Missing record field: IngressServiceBackend

19│                            k8s.IngressServiceBackend

/Users/damd/Code/proj/ingress.dhall:19:28

23│                    ./ingress.dhall

./proj.dhall:23:20
</code></pre>
<p>So it would seem to me that it doesn't find <code>IngressServiceBackend</code> in <code>k8s</code>? However, <code>k8s</code> is defined as <a href="https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/1.19/package.dhall" rel="nofollow noreferrer">https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/1.19/package.dhall</a> and when I browse that URL manually, I can see that it's in there.</p>
<p>Any ideas?</p>

<p>Clearing my Dhall cache seems to have resolved the issue. Not sure what happened.</p>
<pre><code>$ rm -rf ~/.cache/dhall*
</code></pre>
<p>Hope this helps someone else.</p>
