diff options
| author | Brian Campbell | 2019-01-31 11:14:52 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-01-31 11:14:52 +0000 |
| commit | e62896cecd575134a85def6815fe552f3154ea01 (patch) | |
| tree | ed97115d55af68526c3b4bcb874d9204275e2479 /src/bytecode_util.ml | |
| parent | 57ee80b836440110b933350a3646ca5059badda0 (diff) | |
Monomorphisation: improve cast insertion and nexp rewriting on variants
It now pushes casts into lets and constructor applications, and so
supports the case needed for RISC-V.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions