dhall format desugars record puns

[ari-becker]

In 1.31.0,

let Foo = { foo = "hi" } in { Foo }

dhall format adjusts this to:

let Foo = { foo = "hi" } in { Foo = Foo }

which, accordingly, causes dhall lint --check to fail when the pun syntax is used.

[Gabriella439]

Fix is up here: https://github.com/dhall-lang/dhall-haskell/pull/1729

[amesgen]

What about record completions? prettyRecordEntry is different in prettyRecordLit and prettyCompletionLit.

Unformatted:

let T = { Type = { x : Text }, default = {=} } let x = "lul" in T::{ x }

Formatted:

let T = { Type = { x : Text }, default = {=} } let x = "lul" in T::{ x = x }

[sjakobi]

Good catch, @amesgen! :)

Would you be interested in fixing this in a PR?