Forget my question :) The [] is actually interpreted as a variant
constructor, not a polymorphic variant set that must have an element at
least.

-- Julien Blond

2016-11-25 9:39 GMT+01:00 Julien Blond <julien.blond@gmail.com>:

> Hi,
>
> Let's try something :
>
> $ ocaml
>         OCaml version 4.03.0
>
> # let _ : [] list = [];;
> Characters 9-10:
>   let _ : [] list = [];;
>
> Error: Syntax error
> # type empty = [];;
> type empty = []
> # let _ : empty list = [];;
> - : empty list = []
> #
>
> Does anyone know if there is a reason to forbid the empty polymorphic
> variant set in type expressions or if it's a bug ?
>
> Regards,
>
> -- Julien Blond
>