Original bug ID: 706
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

[very low priority feature wish]

Bonjour,

Le bout de code suivant est rejeté:

module M : sig val f : 'a -> 'a end = struct let f ?x y = y end

je me demandais s'il avait été envisagé d'autoriser cela (oublier
des arguments optionnels dans une signature, et introduire
la "coercion" adéquate), et s'il y avait un problème théorique.

Certes on peut toujours s'en passer, mais il peut être agréable
d'ajouter des arguments optionnels pour fournir des variantes internes
à des fonctions exportées; ou alors fournir à un foncteur une
implémentation avec des arguments optionnels qu'il ne connait pas.

Alain