Project

General

Profile

« Previous | Next » 

Revision 3066247f

Added by Pierre-Loïc Garoche over 3 years ago

cleaning debug logs

View differences:

src/normalization.ml
14 14 
open Corelang
15 15 
open Format
16 16 

  		




  
  17
  
    
(* To update thank to some command line options *)


  		




  
  18
  
    
let debug = ref false


  		




  
  19
  
    
          


  		




  17
  20
  
    
(** Normalisation iters through the AST of expressions and bind fresh definition


  		




  18
  21
  
    
    when some criteria are met. This creation of fresh definition is performed by


  		




  19
  22
  
    
    the function mk_expr_alias_opt when the alias argument is on.


  		




  ......




  146
  149
  
    
(* Create an alias for [expr], if [expr] is not already an alias (i.e. an ident)


  		




  147
  150
  
    
   and [opt] is true *)


  		




  148
  151
  
    
let mk_expr_alias_opt opt norm_ctx (defs, vars) expr =


  		




  149
  
  
    
(*Format.eprintf "mk_expr_alias_opt %B %a %a %a@." opt Printers.pp_expr expr Types.print_ty expr.expr_type Clocks.print_ck expr.expr_clock;*)


  		




  
  152
  
    
  if !debug then


  		




  
  153
  
    
    Log.report ~plugin:"normalization" ~level:2


  		




  
  154
  
    
      (fun fmt -> Format.fprintf  fmt "mk_expr_alias_opt %B %a %a %a@." opt Printers.pp_expr expr Types.print_ty expr.expr_type Clocks.print_ck expr.expr_clock);


  		




  150
  155
  
    
  match expr.expr_desc with


  		




  151
  156
  
    
  | Expr_ident alias ->


  		




  152
  157
  
    
    (defs, vars), expr


  		












Also available in:  Unified diff