HOL
HOL copied to clipboard
Warn when record literal omits fields
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.