What is going on here:
Looks like an OCaml bug?
Coq: the only in-depth user of the worst parts of the OCaml type system out there
So, we have exception definitions that use inline records? Was someone really concerned about the cost of OCaml exceptions?
inline records aren't about cost, they're about being able to give names to the fields without having to do some
type contents_of_foo = ... ... of contents_of_foo
Bah, it's not useful for exceptions since most of the time there is only one single client destructing the record, i.e. the printer
Last updated: Feb 06 2023 at 18:03 UTC