HOL icon indicating copy to clipboard operation
HOL copied to clipboard

Warn when record literal omits fields

Open mn200 opened this issue 9 years ago • 0 comments

If record has fields foo and bar, it's perfectly legitimate to write <| foo := 3 |>. The parser should warn you that you have missed out an initialisation for field bar.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

mn200 avatar Sep 29 '16 00:09 mn200