diff options
| author | Robert Norton | 2017-04-18 15:43:49 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:06:04 +0100 |
| commit | 1cbb200c31a5000add90016502afa471ed45e82f (patch) | |
| tree | 4f1b6e3fbd286be5c89899b0fd427a0e85794125 /src/pretty_print_ocaml.ml | |
| parent | 74ec7d716bb0ade5590dde773d2c5d91f9ac8361 (diff) | |
add name to register representation and print it on write.
Diffstat (limited to 'src/pretty_print_ocaml.ml')
| -rw-r--r-- | src/pretty_print_ocaml.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/pretty_print_ocaml.ml b/src/pretty_print_ocaml.ml index 3f83c8b0..dc8fdb19 100644 --- a/src/pretty_print_ocaml.ml +++ b/src/pretty_print_ocaml.ml @@ -579,6 +579,7 @@ let doc_typdef_ocaml (TD_aux(td,_)) = match td with string "ref init_val";]); doc_nexp n1; string (if dir then "true" else "false"); + string_lit (doc_id id); brackets doc_rids]))]) let doc_kdef_ocaml (KD_aux(kd,_)) = match kd with @@ -629,6 +630,7 @@ let doc_kdef_ocaml (KD_aux(kd,_)) = match kd with string "ref init_val";]); doc_nexp n1; string (if dir then "true" else "false"); + string_lit (doc_id id); brackets doc_rids]))]) let doc_rec_ocaml (Rec_aux(r,_)) = match r with @@ -698,6 +700,7 @@ let doc_dec_ocaml (DEC_aux (reg,(l,annot))) = string "Vzero";])]; doc_int (int_of_big_int start); o; + string_lit (doc_id id); brackets empty])] | _ -> empty) | Tapp("register", [TA_typ {t=Tid idt}]) | |