Re: [Caml-list] GADT definition

[Jacques Le Normand <rathereasy@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1202 bytes --]

or type _ s = S


On Thu, Dec 19, 2013 at 6:10 PM, Gabriel Scherer
<gabriel.scherer@gmail.com>wrote:

> type z
> type _ s
>
> Don'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.
>>>
>>
>>
>

[-- Attachment #2: Type: text/html, Size: 2624 bytes --]