[Caml-list] pattern matching on mapped lists

[Nils Becker <nils.becker@bioquant.uni-heidelberg.de>]

I find this syntax handy

    let [ii; jj] = List.map float_of_int [i; j] in
    ... do stuff with the floats

because it avoids repeating the function call. The compiler lets this
pass but warns that the matching is not exhaustive since [] is not
matched. This actually can't happen if I'm not mistaken. So, is this
considered good style, or is there a better idiomatic way to do multiple
assignments? If yes, should this be an enhancement request for the type
checker?

n.