Support {} for empty inlined record literals and types

[mununki]

This PR fixes #5899

[mununki]

@cknitt Could you let me know what branch this PR goes to? Both 10.1_release in the syntax repo and master like the previous PR?

[cknitt]

I would say both 10.1_release and master, but the change is in jscomp/ml which is not part of the syntax, so no need to touch the syntax repo.

[mununki]

Got it! I'll make another PR that goes to 10.1_release.
How about changelog? Adding log to 10.1?

[cristianoc]

This looks great!

[mununki]

@cristianoc Is the support for the empty inlined record type also needed? If it is needed, then I think all we need to remove https://github.com/rescript-lang/rescript-compiler/blob/master/res_syntax/src/res_core.ml#L4657:L4664

type inlinedOptional3 = V0({}) // empty inlined record
let ir6 = V0({})

[cristianoc]

@cristianoc Is the support for the empty inlined record type also needed? If it is needed, then I think all we need to remove https://github.com/rescript-lang/rescript-compiler/blob/master/res_syntax/src/res_core.ml#L4657:L4664

type inlinedOptional3 = V0({}) // empty inlined record
let ir6 = V0({})

Can't imagine why one would want that. Do you think there's a possible use case?

[mununki]

Can't imagine why one would want that. Do you think there's a possible use case?

Neither do I. I just want to ask your idea if it is needed.

[cknitt]

How about changelog? Adding log to 10.1?

Changelog entry should go to version 10.1.1 in both branches.

[mununki]

How about changelog? Adding log to 10.1?

Changelog entry should go to version 10.1.1 in both branches.

Updated: eb3ff55