Closed ziman closed 4 years ago
I'm not a huge fan of this approach! The primitives list does change between OCaml releases, and I'd prefer Malfunction to provide a common interface between them. Some of these primitives are already available with other names in Malfunction, and some of them aren't very useful in any case.
Sure, I suspected as much. :)
This patch adds all primitives from
translprim.ml
that are expressible in the current implementation.This may be controversial because I don't know how stable the interface of primitives is between OCaml releases. I can imagine that you intentionally keep the primitives minimal to reduce breakage when upgrading. That's why I'm sending it as a separate pull request, an alternative to #22.
This addresses #21, too. :)