diff options
| author | Kathy Gray | 2013-10-09 15:36:10 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-10-09 15:36:10 +0100 |
| commit | caed2d0e87df23cf18e2b332066e146b2e40f53d (patch) | |
| tree | ab9d1076e0f5dd388fc858823a3b6c86a2084d89 /src/pretty_print.ml | |
| parent | f4d8784a03abeeca6e06f906604944dfa88d6686 (diff) | |
Adding memory writes. Cleaning up the let in the ott file to reflect what actually parses
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 46484860..b8e936b3 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -252,6 +252,7 @@ and pp_case ppf (Pat_aux(Pat_exp(pat,exp),_)) = and pp_lexp ppf (LEXP_aux(lexp,_)) = match lexp with | LEXP_id(id) -> pp_id ppf id + | LEXP_memory(id,exp) -> fprintf ppf "@[%a %a@]" pp_id id pp_exp exp | LEXP_vector(v,exp) -> fprintf ppf "@[%a %a %a %a@]" pp_lexp v kwd "[" pp_exp exp kwd "]" | LEXP_vector_range(v,e1,e2) -> fprintf ppf "@[%a %a %a %a %a %a@]" pp_lexp v kwd "[" pp_exp e1 kwd ":" pp_exp e2 kwd "]" | LEXP_field(v,id) -> fprintf ppf "@[%a%a%a@]" pp_lexp v kwd "." pp_id id @@ -544,6 +545,7 @@ and pp_lem_case ppf (Pat_aux(Pat_exp(pat,exp),_)) = and pp_lem_lexp ppf (LEXP_aux(lexp,_)) = match lexp with | LEXP_id(id) -> fprintf ppf "(%a %a)" kwd "LEXP_id" pp_lem_id id + | LEXP_memory(id,exp) -> fprintf ppf "(%a %a %a)" kwd "LEXP_memory" pp_lem_id id pp_lem_exp exp | LEXP_vector(v,exp) -> fprintf ppf "@[(%a %a %a)@]" kwd "LEXP_vector" pp_lem_lexp v pp_lem_exp exp | LEXP_vector_range(v,e1,e2) -> fprintf ppf "@[(%a %a %a %a)@]" kwd "LEXP_vector_range" pp_lem_lexp v pp_lem_exp e1 pp_lem_exp e2 |