diff options
| author | Brian Campbell | 2018-02-08 15:03:34 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-08 15:03:42 +0000 |
| commit | 579cd897d7873436ba6cfb3469b185bf6b321dac (patch) | |
| tree | 1ca652f246135f2ad4973acbb5051a2c79e0d411 /language/bytecode.ott | |
| parent | 45519ae89ceef4c838cdd52e2bbaa4174e63f27d (diff) | |
Add (most of) the bitvector cast insertion transformation
to help Lem go from a general type `bits('n)` to a specific type `bits(16)`
at a case split, and the other way around for a returned value.
Doesn't handle function clause patterns yet
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions