Project

General

Profile

Revision cfdb4fe9 src/corelang.ml

View differences:

src/corelang.ml
391 391
let expr_of_expr_list loc elist =
392 392
 match elist with
393 393
 | [t]  -> { t with expr_loc = loc }
394
 | t::_ -> { t with expr_desc = Expr_tuple elist; expr_loc = loc }
394
 | t::_ ->
395
    let tlist = List.map (fun e -> e.expr_type) elist in
396
    let clist = List.map (fun e -> e.expr_clock) elist in
397
    { t with expr_desc = Expr_tuple elist;
398
	     expr_type = Type_predef.type_tuple tlist;
399
	     expr_clock = Clock_predef.ck_tuple clist;
400
	     expr_tag = Utils.new_tag ();
401
	     expr_loc = loc }
395 402
 | _    -> assert false
396 403

  
397 404
let call_of_expr expr =

Also available in: Unified diff