diff options
| author | Son Ho | 2022-10-27 11:52:13 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | c1b2b95bf5bfdf62b004bff4a729655663519448 (patch) | |
| tree | df559d39fc5b92dc64fca7d2002cdc8e46d67715 /compiler/Print.ml | |
| parent | 2fb82b54b1b2380d457fb4cbe9a7320468903d81 (diff) | |
Move constant_value to PrimitiveValues.ml
Diffstat (limited to '')
| -rw-r--r-- | compiler/Print.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 8f52b291..52a93a4d 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -210,7 +210,7 @@ module Values = struct let scalar_value_to_string (sv : V.scalar_value) : string = big_int_to_string sv.value ^ ": " ^ PT.integer_type_to_string sv.int_ty - let constant_value_to_string (cv : V.constant_value) : string = + let primitive_value_to_string (cv : V.primitive_value) : string = match cv with | Scalar sv -> scalar_value_to_string sv | Bool b -> Bool.to_string b @@ -240,7 +240,7 @@ module Values = struct string = let ty_fmt : PT.etype_formatter = value_to_etype_formatter fmt in match v.value with - | Concrete cv -> constant_value_to_string cv + | Primitive cv -> primitive_value_to_string cv | Adt av -> ( let field_values = List.map (typed_value_to_string fmt) av.field_values @@ -352,7 +352,7 @@ module Values = struct string = let ty_fmt : PT.rtype_formatter = value_to_rtype_formatter fmt in match v.value with - | AConcrete cv -> constant_value_to_string cv + | APrimitive cv -> primitive_value_to_string cv | AAdt av -> ( let field_values = List.map (typed_avalue_to_string fmt) av.field_values @@ -877,7 +877,7 @@ module LlbcAst = struct | E.Move p -> "move " ^ place_to_string fmt p | E.Constant (ty, cv) -> "(" - ^ PV.constant_value_to_string cv + ^ PV.primitive_value_to_string cv ^ " : " ^ PT.ety_to_string (ast_to_etype_formatter fmt) ty ^ ")" |