The empty record type can be declared but not instantiated

[brson]

This works:

type t = { };

This doesn't

let t = { };

[marijnh]

Right, it's ambiguous with the empty block. We should probably disallow the type as well, then.