diff options
| author | Jon French | 2018-10-04 11:15:16 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-04 11:16:13 +0100 |
| commit | 145860bf8fee0c4620b3c41bb49109b281df3a78 (patch) | |
| tree | 6d000d559c3f3cb98f4bea4e5debdf4a323955e8 | |
| parent | 3701eaccffdae95fd7e6b504768c5228fb262b5e (diff) | |
rename stringappend ids for more readable generated code
| -rw-r--r-- | src/rewrites.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 3e0e2d6a..7a085213 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -3044,7 +3044,7 @@ let pexp_rewriters rewrite_pexp = let stringappend_counter = ref 0 let fresh_stringappend_id () = - let id = mk_id ("_stringappend_" ^ (string_of_int !stringappend_counter) ^ "#") in + let id = mk_id ("_s" ^ (string_of_int !stringappend_counter) ^ "#") in stringappend_counter := !stringappend_counter + 1; id @@ -3321,8 +3321,7 @@ let rec rewrite_defs_pat_string_append = :: pats ), psa_annot) -> - let id = mk_id ("_stringappend_" ^ (string_of_int !stringappend_counter) ^ "#") in - stringappend_counter := !stringappend_counter + 1; + let id = fresh_stringappend_id () in (* construct drop expression -- string_drop(s#, strlen("lit")) *) let drop_exp = annot_exp (E_app (mk_id "string_drop", [annot_exp (E_id id) unk env string_typ; annot_exp (E_app (mk_id "string_length", [annot_exp (E_lit lit) unk env string_typ])) unk env nat_typ])) unk env string_typ in |