Some could be done without propagating type informations yet:
let set a i x = Array.set a i x
let () = for i = 0 to Array.length a do set a i (float i) done
This change would require to add some more precision to inline_and_simplify value approximations: add the case Any_float and Any_int that does not carry any information about the exact value except the type.
Worth considering currently:
Some could be done without propagating type informations yet:
This change would require to add some more precision to inline_and_simplify value approximations: add the case
Any_floatandAny_intthat does not carry any information about the exact value except the type.