Type-based Record Disambiguation

Leo White helped with the record-disambiguation branch of OCaml by Jacques Garrigue. This branch uses type-information to disambiguate between record labels and variant constructors with the same names. For discussions of the semantics of this feature see Gabriel’s or Alain’s blog posts. Leo rewrote the record-disambiguation branch to use an alternative semantics and improved the error messages. The branch has since been merged into OCaml trunk.

This feature was worked on between Sep 2012 - Feb 2013.

Recent Activity