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