Project

General

Profile

Revision f4050bef src/normalization.ml

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