type ztype _ sDon't use this kind of abstract type definition. Use instead (and export) concrete definitions (even if you don't use their constructors for anything)type 'a s = S of 'a(or just type 'a s = S)They have "better" injectivity properties. We've mentioned in on the mailing-list a couple of time, and it's also the "easy take-away lesson" from Jacques Garrigue talk at the OCaml workshop in September.On Thu, Dec 19, 2013 at 11:35 PM, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
On Thu, Dec 19, 2013 at 11:27 PM, Milan Stanojević <milanst@gmail.com> wrote:
What version of ocaml are you using? It works for me on 4.00.1
 OCaml 4.01.0 from OPAM.On Thu, Dec 19, 2013 at 5:21 PM, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
> On Thu, Dec 19, 2013 at 11:20 PM, Lukasz Stafiniak <lukstafi@gmail.com>
> wrote:
>>
>> Sorry! I've spotted it reading the email. (I should read before sending.)
>>
> No, that's not it. My question is still open.