Project

General

Profile

« Previous | Next » 

Revision 2863281f

Added by Pierre-Loïc Garoche almost 7 years ago

Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

View differences:

src/corelang.ml
55 55
    var_clock = Clocks.new_var true;
56 56
    var_loc = loc }
57 57

  
58
let dummy_var_decl name typ =
59
  {
60
    var_id = name;
61
    var_orig = false;
62
    var_dec_type = dummy_type_dec;
63
    var_dec_clock = dummy_clock_dec;
64
    var_dec_const = false;
65
    var_dec_value = None;
66
    var_parent_nodeid = None;
67
    var_type =  typ;
68
    var_clock = Clocks.new_ck Clocks.Cvar true;
69
    var_loc = Location.dummy_loc
70
  }
71

  
58 72
let mkexpr loc d =
59 73
  { expr_tag = Utils.new_tag ();
60 74
    expr_desc = d;
......
1157 1171
	| Expr_ident _ -> false
1158 1172
      )
1159 1173

  
1174

  
1175

  
1176

  
1160 1177
(* Local Variables: *)
1161 1178
(* compile-command:"make -C .." *)
1162 1179
(* End: *)

Also available in: Unified diff