Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/typing.ml
536 536
           expr.expr_type <- Expr_type_hub.export typ_out;
537 537
           typ_out
538 538
      in 
539
      Log.report ~level:3 (fun fmt -> Format.fprintf fmt "Type of expr %a: %a@." Printers.pp_expr expr (* Types. *)print_ty resulting_ty);
539
      Log.report ~level:3 (fun fmt ->
540
          Format.fprintf fmt "Type of expr %a: %a@ "
541
            Printers.pp_expr expr (* Types. *)print_ty resulting_ty);
540 542
      resulting_ty
541 543

  
542 544
    and type_branches ?(is_annot=false) env in_main loc const hl =

Also available in: Unified diff