…distinguish use or bind of ident and add directive to bind case any pattern binding can be associated with directive, in particular this includes lambda to enable parameter tagging
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
No more Concrete/Abstract/Extern and Raw/Processed tags.
…is file. Related functions we rewritten, by the way this cleanly fixes OPA-485.