Commit 71de0078 authored by Mário Pereira's avatar Mário Pereira
Browse files

OCaml printer: minor commit regarding extraction of expressions.

This is just a temporary solution, it should be fixed for real very soon
parent 1cec0362
......@@ -443,7 +443,7 @@ module Print = struct
| Eabsurd ->
fprintf fmt (protect_on paren "assert false (* absurd *)")
| Ehole -> ()
| Eany _ -> assert false
| Eany _ -> () (* FIXME *)
| Eapp (rs, []) when rs_equal rs rs_true ->
fprintf fmt "true"
| Eapp (rs, []) when rs_equal rs rs_false ->
......
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