the class_merge function (which can be called a number of time proportional to the sum type size), was for each field of the class : -flattening the main type, -then linear searching the right sum case, -then searching the field type, now each operation is done once when the information (ty,class,field) is available and the linear search has been replace by index intersection reduction is at least proportional to the size of the sum type
… the support of Dbm in ocaml added some generic preprocessing in .mllib files so that this can be used for other optional dependencies too
when an inner function is contained in a local annotated function
…lly after renaming it appears to somehow raise assertions later when you had db default values in several (non-linking) packages
…nous calls both local and remote (only client->server though)
No more Concrete/Abstract/Extern and Raw/Processed tags.
…is file. Related functions we rewritten, by the way this cleanly fixes OPA-485.
…eMap. We should now be able to remove the tag Raw | Processed ot TypeIdent in an easier way.