Project

General

Profile

Revision 6a1a01d2 src/typing.ml

View differences:

src/typing.ml
444 444
       expression *)
445 445
    (match r with
446 446
    | None        -> ()
447
    | Some (x, l) -> 
448
      check_constant expr.expr_loc const false;
449
      let expr_x = expr_of_ident x expr.expr_loc in	
450
      let typ_l = 
451
	Type_predef.type_clock 
452
	  (type_const expr.expr_loc (Const_tag l)) in
453
      type_subtyping_arg env in_main ~sub:false const expr_x typ_l);
447
    | Some c -> 
448
      check_constant expr.expr_loc const false;	
449
      type_subtyping_arg env in_main const c Type_predef.type_bool);
454 450
    let touts = type_appl env in_main expr.expr_loc const id (expr_list_of_expr args) in
455 451
    expr.expr_type <- touts;
456 452
    touts

Also available in: Unified diff