blob: 37b7555e0da994cc5d420b82542b4c2198b65444 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
(** Printing utilities for symbolic AST.
We don't put this in [Print] because:
- [Print] is getting quite big
- if we do so we have a dependency cycle...
*)
open Errors
open Identifiers
open FunIdentifier
module T = Types
module TU = TypesUtils
module V = Values
module E = Expressions
module A = LlbcAst
module C = Contexts
open SymbolicAst
module P = Print
module PT = Print.Types
type formatting_ctx = {
type_context : C.type_context;
fun_context : A.fun_decl FunDeclId.Map.t;
type_vars : T.type_var list;
}
type formatter = P.Values.value_formatter
let formatting_ctx_to_formatter (ctx : formatting_ctx) : formatter =
(* We shouldn't use [rvar_to_string] *)
let rvar_to_string _ = failwith "Unexpected use of rvar_to_string" in
let r_to_string r = PT.region_id_to_string r in
let type_var_id_to_string vid =
let v = T.TypeVarId.nth ctx.type_vars vid in
v.name
in
let type_decl_id_to_string def_id =
let def = T.TypeDeclId.Map.find def_id ctx.type_context.type_decls in
P.name_to_string def.name
in
let adt_variant_to_string =
P.Contexts.type_ctx_to_adt_variant_to_string_fun ctx.type_context.type_decls
in
(* We shouldn't use [var_id_to_string] *)
let var_id_to_string _ = failwith "Unexpected use of var_id_to_string" in
let adt_field_names =
P.Contexts.type_ctx_to_adt_field_names_fun ctx.type_context.type_decls
in
{
rvar_to_string;
r_to_string;
type_var_id_to_string;
type_decl_id_to_string;
adt_variant_to_string;
var_id_to_string;
adt_field_names;
}
|
