Arf, c’est frustrant : OCaml me sort « Warning 20: this argument will not be used by the function. » pour un argument qui va bien être utilisé par la fonction en question.

(Cette fonction est extraite depuis Coq et commence par un gros Obj.magic qui rend le compilateur OCaml confus 😕)

Sign in to participate in the conversation
esperanto.masto.host

Bonvenon! Malferme al ĉiaj kaj ĉiuj respektemaj esperantistoj.