diff options
| author | Brian Campbell | 2017-10-13 17:33:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-13 17:33:09 +0100 |
| commit | 79043c19238559a7daea7b495e604ef00a6b2a8c (patch) | |
| tree | 421e365295154d6c9129a4000d27fc3bdd3b381c /src | |
| parent | 2b4d8c715d2d8facfa376c7ee7a790ddd6d263f9 (diff) | |
Handle bitvector_access in constant propagation
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 70b48903..cad2f6aa 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -699,7 +699,7 @@ let try_app (l,ann) (Id_aux (id,_),args) = match args with | [E_aux (E_lit (L_aux (L_num _,_)),_) as exp] -> Some exp | _ -> None - else if id = Id "vector_access" then + else if id = Id "vector_access" || id = Id "bitvector_access" then match args with | [E_aux (E_lit L_aux ((L_hex _ | L_bin _) as lit,_),_); E_aux (E_lit L_aux (L_num i,_),_)] -> |