Jonathan Graveline pushed to branch graveline at Stefan / Typer Commits: bfa8bdcf by Jonathan Graveline at 2018-05-17T22:16:53Z Change from master - - - - - 1 changed file: - src/util.ml Changes: ===================================== src/util.ml ===================================== --- a/src/util.ml +++ b/src/util.ml @@ -86,7 +86,7 @@ let msg_info = msg_message 3 "Info:" (* Compiler Internal Debug print *) let debug_msg expr = - if 4 <= !_typer_verbose then expr else () + if 4 <= !_typer_verbose then (print_string expr; flush stdout) else () let not_implemented_error () = internal_error "not implemented" View it on GitLab: https://gitlab.com/monnier/typer/commit/bfa8bdcf9abaf63f2952fcf1e252878789e7... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/bfa8bdcf9abaf63f2952fcf1e252878789e7... You're receiving this email because of your account on gitlab.com.