diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-08-11 07:46:25 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-08-11 07:46:25 +0000 |
| commit | fcc2da384818f82280aa598eb8962c529b7931fb (patch) | |
| tree | 79ea0c194964751914eee02eac4c3cd138ceabd4 /stdlib/array.ml | |
| parent | e17e2b19daa21433882bdf32c626a91d27fffb85 (diff) | |
PR#6501: harden the native-code generator against certain uses of "%identity".
Technically: when a C-- let-bound variable is assigned to, update its type
so that it is the lub of the types of the initial value and all values
assigned to it, with the type ordering Int <: Addr.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.ml')
0 files changed, 0 insertions, 0 deletions