Discussion:Objective Caml/Structures

La déclaration suivante (contraintes de type) ne compile pas sous OCaml 3.12.1, ni sous 4.00.1 :

let ( id_int : int -> int ) x = x ;;

Error: Syntax error

Peut-être pourrait-on la remplacer par celle-ci, qui fonctionne :

let id_int : int -> int = fun x -> x ;;

val id_int : int -> int = <fun>