fixed OCaml extraction (see eb517957)

parent eb517957
......@@ -749,12 +749,13 @@ let rec print_expr ?(paren=false) info fmt e =
when ls_equal ls fs_void ->
fprintf fmt
(protect_on paren "@[<hv>@[<hov 2>if@ %a@]@ then@;<1 2>@[%a@]@]")
(print_expr info) e0 (print_expr info) e1
(print_expr info) e0 (print_expr ~paren:true info) e1
| Eif (e0,e1,e2) ->
fprintf fmt
(protect_on paren
"@[<hv>@[<hov 2>if@ %a@]@ then@;<1 2>@[%a@]@ else@;<1 2>@[%a@]@]")
(print_expr info) e0 (print_expr info) e1 (print_expr info) e2
(print_expr info) e0 (print_expr info) e1
(print_expr ~paren:true info) e2
| Eassign (pl,e,_,pv) ->
fprintf fmt (protect_on paren "%a.%a <- %a")
(print_expr info) e (print_ls info) pl.pl_ls (print_pv info) pv
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment