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