Disable pretty-printer in the compiler

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2020-10-25 20:31:22 +03:00
parent b07cdebe7f
commit bc52979e39

View file

@ -1,3 +1,4 @@
(*
open Language open Language
class pp_pattern fself = object class pp_pattern fself = object
@ -192,3 +193,6 @@ let pp ppf ast =
Format.set_margin margin; Format.set_margin margin;
Format.set_max_indent 15; Format.set_max_indent 15;
Format.printf "%a\n%!" pp ast Format.printf "%a\n%!" pp ast
*)
let pp: Format.formatter -> _ -> unit = fun _ _ -> failwith "Pretty printer is not implemented"