I can’t see why these two don’t have the same hash
let k8s =
https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall sha256:d541487f153cee9890ebe4145bae8899e91cd81e2f4a5b65b06dfc325fb1ae7e
let test =
λ(cfg : k8s.Secret.Type) →
let metadata =
cfg.metadata
with name = Some "Hello"
with namespace = Some "World"
in metadata
in test
sha256:5e03af415682e22fab175f415411c62c3335b7c47dec390813dc9b30b6436f06
let k8s =
https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall sha256:d541487f153cee9890ebe4145bae8899e91cd81e2f4a5b65b06dfc325fb1ae7e
let test =
λ(cfg : k8s.Secret.Type) →
let metadata =
cfg.metadata ⫽ { name = Some "Hello", namespace = Some "World" }
in metadata
in test
sha256:475954fd1480e035f8ed7d2641fea8e53848147250731b7e35d67b373a9357f5