diff options
| author | Gabriel Kerneis | 2014-06-09 11:33:46 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-09 11:34:39 +0100 |
| commit | 994f91de8d19b8923d51531bac6c0f2e01ff4a95 (patch) | |
| tree | dbf630add1887ddb20e37250ea5e1dbdc7954b52 /src/pretty_print.ml | |
| parent | 74fd42230878b3e9c8e60f582c7382450fb36dc4 (diff) | |
| parent | 328e4fdd056abe1dba34863e389fdd9c4999fa07 (diff) | |
Merge branch 'for-dagstuhl' into master
Conflicts:
src/lem_interp/interp_lib.lem
src/lem_interp/run_interp.ml
Remove "to_vec_safe" work-around
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 7a614c9b..32f4218c 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -363,7 +363,7 @@ and pp_lem_exp ppf (E_aux(e,(l,annot))) = | E_let(leb,exp) -> fprintf ppf "@[<0>(E_aux (%a %a %a) (%a, %a))@]" kwd "E_let" pp_lem_let leb pp_lem_exp exp pp_lem_l l pp_annot annot | E_assign(lexp,exp) -> fprintf ppf "@[<0>(E_aux (%a %a %a) (%a, %a))@]" kwd "E_assign" pp_lem_lexp lexp pp_lem_exp exp pp_lem_l l pp_annot annot (* XXX missing cases *) - | E_internal_cast ((_, Overload (_, _)), _) | E_internal_exp _ -> assert false + | E_internal_cast ((_, Overload (_,_, _)), _) | E_internal_exp _ -> assert false in print_e ppf e @@ -844,7 +844,7 @@ let doc_exp, doc_let = (* doc_op (doc_id op) (exp l) (exp r) *) (* XXX missing case AAA internal_cast should never have an overload, if it's been seen it's a bug *) - | E_internal_cast ((_, Overload (_, _)), _) | E_internal_exp _ -> assert false + | E_internal_cast ((_, Overload (_, _,_ )), _) | E_internal_exp _ -> assert false and let_exp (LB_aux(lb,_)) = match lb with | LB_val_explicit(ts,pat,e) -> |