diff options
| author | Alasdair | 2019-02-21 23:15:15 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-21 23:18:23 +0000 |
| commit | 084fb032de3495671d557e31dbc55dc8400f9d81 (patch) | |
| tree | da26657dd4d71173aa94c756d5877988846b3c4a /src/bytecode_util.ml | |
| parent | 9c13d5888fdd12aa46f9a3b1a752cf040bc94939 (diff) | |
Allow monomorphisation with C generation
Run C tests with -O -Oconstant_fold -auto_mono
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions