Missing primitive: ml_z_extract_small

[bclement-ocp]

ml_z_extract_small was added as a fast path for ml_z_extract in ZArith 1.13 (see ocaml/Zarith#90 )

It can be aliased to ml_z_extract:

// Provides: ml_z_extract_small
// Requires: ml_z_extract
function ml_z_extract_small(z1, pos, len) {
  return ml_z_extract(z1, pos, len);
}

[hhugo]

@TyOverby, @pmwhite would you be able to look at this ?

[Enoumy]

Thanks for reporting this and thanks for the suggested fix! The patch has been imported internally and should appear on the public release on our next push of our packages.

Thanks!

[hhugo]

@Enoumy, do you think you could do a minor release of zarith_stubs_js with this change ?

[dkalinichenko-js]

@hhugo I'll do it shortly