diff options
| author | Frédéric Besson | 2020-08-10 15:31:58 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2020-08-10 15:35:30 +0200 |
| commit | 4da8f114155d2abb31ce8a45a2f17f21f7d97a0e (patch) | |
| tree | b271937251f65b7e454d67c2cca97687b24766fd /kernel/genOpcodeFiles.ml | |
| parent | ef08abec26c2f0017d1136870f8f99144e579538 (diff) | |
[zify] fix for bug#12791
The elimination of let bindings is performing a convertibility check in
order to deal with type aliases.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions