Xavier Clerc

Flattening of `option` values

2

I am unsure how important this is in practice, but the encoding of `option` values makes `Some (Some (... None))` equal to `None`. Could this be an issue [when using...

It is likely unsafe to use `Field(...) = ...` after `caml_alloc_small` if the right-hand side allocates. This pull requests replaces two occurrences of this pattern with calls to `caml_alloc_some`.