diff options
author | Son Ho | 2022-05-01 16:03:40 +0200 |
---|---|---|
committer | Son Ho | 2022-05-01 16:03:40 +0200 |
commit | 3b25cdd34516b1b89f265624003c518922727edc (patch) | |
tree | 0d767f626475541c8b6b1da7d6b92ddb715f1fb0 /src/PrintPure.ml | |
parent | 5c2ddca25137de0062fc37239f261a6a8187d885 (diff) |
Perform more renamings
Diffstat (limited to 'src/PrintPure.ml')
-rw-r--r-- | src/PrintPure.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/PrintPure.ml b/src/PrintPure.ml index b29f6e70..2da653bb 100644 --- a/src/PrintPure.ml +++ b/src/PrintPure.ml @@ -201,12 +201,12 @@ let var_to_string (fmt : type_formatter) (v : var) : string = let varname = var_to_varname v in "(" ^ varname ^ " : " ^ ty_to_string fmt v.ty ^ ")" -let rec projection_to_string (fmt : ast_formatter) (inside : string) - (p : projection) : string = +let rec mprojection_to_string (fmt : ast_formatter) (inside : string) + (p : mprojection) : string = match p with | [] -> inside | pe :: p' -> ( - let s = projection_to_string fmt inside p' in + let s = mprojection_to_string fmt inside p' in match pe.pkind with | E.ProjOption variant_id -> assert (variant_id = T.option_some_id); @@ -232,7 +232,7 @@ let mplace_to_string (fmt : ast_formatter) (p : mplace) : string = * regular places use indices for the pure variables: we want to make * this explicit, otherwise it is confusing. *) let name = name ^ "^" ^ V.VarId.to_string p.var_id ^ "llbc" in - projection_to_string fmt name p.projection + mprojection_to_string fmt name p.projection let adt_variant_to_string (fmt : value_formatter) (adt_id : type_id) (variant_id : VariantId.id option) : string = |