The best solution to the problem is to remove the problem.
Empty records can be allowed later if at some point someone would come up with a reasonable use case that would justify changing the type checker to handle them.
Currently empty records cannot be constructed, so it's unlikely that someone is depending on them in his code.
Fixes: #289
The best solution to the problem is to remove the problem.
Empty records can be allowed later if at some point someone would come up with a reasonable use case that would justify changing the type checker to handle them.
Currently empty records cannot be constructed, so it's unlikely that someone is depending on them in his code.