diff options
| author | Peter Sewell | 2014-11-23 17:10:02 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 17:10:02 +0000 |
| commit | 2fcc1972c06a7d6ff3b30c9285ed23c6bd7b0b09 (patch) | |
| tree | 492cf3a99decf7b2eef0aeddad9386d35534acc2 /src | |
| parent | d9d63b005c571b26cfcde8cdbfdf20f6aa39c563 (diff) | |
the properly named "git"
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index f979b9d9..e1ec6696 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -104,7 +104,10 @@ let intern_ifield_value v = *) let num_to_bits size kind num = - failwith "TODO: num_to_bits needed in src_power_get/trans_sail.gen" +(* num_to_bits needed in src_power_get/trans_sail.gen - rather than reengineer the generation, we include a wrapper here *) + Interp_interface.bit_list_of_integer size num + + (* match kind with | Bitv -> Bitvector (match (Interp_lib.to_vec_inc |