extraction of any
The following function
let f () = if any bool then 0 else 1
is currently extracted to
let f (_: unit) : Z.t = if then begin Z.zero end else begin Z.one end
(note the missing expression between if
and then
). I guess we should have instead
Function f cannot be extracted
which is the case, for instance, in simpler situations such as
let f () = any bool