diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:39:06 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:39:06 +0100 |
| commit | a3c1aed82d88df7592e63531dc8ce24482da1c28 (patch) | |
| tree | fdbfde05361103f5fec701d96816c9010498a7d8 /lib/Camlcoq.ml | |
| parent | e0146901a2857e7ddaa249964cc49726c496d754 (diff) | |
| download | compcert-kvx-a3c1aed82d88df7592e63531dc8ce24482da1c28.tar.gz compcert-kvx-a3c1aed82d88df7592e63531dc8ce24482da1c28.zip | |
Initializers: introduce 'constval_cast' to cast constant value to desired type
This comes handy in the next commit where constval_cast is used from C2C.
Diffstat (limited to 'lib/Camlcoq.ml')
0 files changed, 0 insertions, 0 deletions