diff options
| author | Kathy Gray | 2014-02-28 11:47:41 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-02-28 11:47:41 +0000 |
| commit | 98231d112693ef6815e79a6aba3ba0a5b7f027a7 (patch) | |
| tree | 4d825cc408f1a00fa9191b672ba8659763e1f8db /src/pretty_print.ml | |
| parent | fef22f2f0f0f0e821b68f3f917e48c97a974a511 (diff) | |
Correct bug in parsing and handling a['a:'b] types
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 4190ad9b..57a8ebab 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -90,6 +90,7 @@ and pp_format_nexp (Nexp_aux(n,_)) = | Nexp_sum(n1,n2) -> "(" ^ (pp_format_nexp n1) ^ " + " ^ (pp_format_nexp n2) ^ ")" | Nexp_times(n1,n2) -> "(" ^ (pp_format_nexp n1) ^ " * " ^ (pp_format_nexp n2) ^ ")" | Nexp_exp(n1) -> "2** (" ^ (pp_format_nexp n1) ^ ")" + | Nexp_neg(n1) -> "(* - *)" ^ (pp_format_nexp n1) and pp_format_ord (Ord_aux(o,_)) = match o with | Ord_var(var) -> pp_format_var var @@ -413,7 +414,8 @@ and pp_format_nexp_lem (Nexp_aux(n,l)) = | Nexp_constant(i) -> "(Nexp_constant " ^ string_of_int i ^ ")" | Nexp_sum(n1,n2) -> "(Nexp_sum " ^ (pp_format_nexp_lem n1) ^ " " ^ (pp_format_nexp_lem n2) ^ ")" | Nexp_times(n1,n2) -> "(Nexp_times " ^ (pp_format_nexp_lem n1) ^ " " ^ (pp_format_nexp_lem n2) ^ ")" - | Nexp_exp(n1) -> "(Nexp_exp " ^ (pp_format_nexp_lem n1) ^ ")") ^ " " ^ + | Nexp_exp(n1) -> "(Nexp_exp " ^ (pp_format_nexp_lem n1) ^ ")" + | Nexp_neg(n1) -> "(Nexp_neg " ^ (pp_format_nexp_lem n1) ^ ")") ^ " " ^ (pp_format_l_lem l) ^ ")" and pp_format_ord_lem (Ord_aux(o,l)) = "(Ord_aux " ^ |