diff options
| author | Gabriel Kerneis | 2014-02-14 17:11:41 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-14 17:11:41 +0000 |
| commit | b5d3093499666f6af80544b2a35a0b425d4375e0 (patch) | |
| tree | 6ef8f13f98917752044a4e31a282d985663ee64b /src/util.ml | |
| parent | e63004599c19e8e741918c6e64ec0a5362abc8ed (diff) | |
Write slice to memory
I'm not sure whether this is useful at all. It is currently a bit
broken when subrange is not in the "correct" order. Presumably the
typechecker should catch this? I'm not quite sure what the intended
semantics should be. Probably the same bug occurs with register slices
too.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions