> On 1 Dec 2022, at 14:16, Edwin Torok <edvin.to...@citrix.com> wrote: > > The disadvantage is that we can't pattern match on it anymore. > > Although we could have some OCaml code that does the pattern matching on > another type and maps it to these private integer types. > However at that point we've manually reinvented what ctypes would already do, > and we have an additional mapping step (which may not matter from a > performance point of view but would be nice if we could avoid it).
I agree that this is a severe disadvantage. My method is only useful if they are mostly passed around but not when they have an algebra defined over them where you want to combine and match them. — C
