Project

General

Profile

« Previous | Next » 

Revision f4050bef

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

Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.

View differences:

src/normalization.ml
170 170 
	  mkeq expr.expr_loc (List.map (fun v -> v.var_id) new_aliases, expr)
171 171 
	in
172 172 
	(* Typing and Registering machine type *)
173 
	let _ = Machine_types.type_def node new_aliases expr  in
173 
	let _ = if Machine_types.is_active then Machine_types.type_def node new_aliases expr  in
174 174 
	(new_def::defs, new_aliases@vars), replace_expr new_aliases expr
175 175 
      else
176 176 
	(defs, vars), expr
......
468 468 

  		




  469
  469
  
    
  let new_annots =


  		




  470
  470
  
    
    List.fold_left (fun annots v ->


  		




  471
  
  
    
      if Machine_types.is_exportable v then


  		




  
  471
  
    
      if Machine_types.is_active && Machine_types.is_exportable v then


  		




  472
  472
  
    
	let typ = Machine_types.get_specified_type v in


  		




  473
  473
  
    
  	let typ_name = Machine_types.type_name typ in


  		




  474
  474
  
    

  		












Also available in:  Unified diff