`with` record update syntax removes other record fields

[rockboynton]

`with` record update syntax removes other record fields

[Gabriella439]

Yeah, there is a better way to do what you want. I believe what you want is:

⊢ defaultConfig with field1.?.foo.?.bar.? = 2

{ field1 = Some { foo = Some { bar = Some 2, baz = 42 } }, field2 = 0 }

[rockboynton]

@Gabriella439 Thank you for the prompt response!

I'm getting this error

1 | defaultConfig with field1.?.foo.?.bar.? = 2
  |                           ^
unexpected '?'
expecting any label or whitespace

Is that a new feature? I can't seem to find it in the docs

[nix-shell:~]$ dhall --version
1.40.2

[mmhat]

@rockboynton The .? syntax got introduced in the Dhall standard v22.0.0 which is supported in the Dhall Haskell implementation since 1.41.0.
TLDR; Your need to update your Dhall interpreter to use this.

[rockboynton]

@mmhat Thank you, that does the trick. Would be nice to have the docs mention this feature as well.