Project

General

Profile

Revision 0038002e src/typing.ml

View differences:

src/typing.ml
314 314
      with Not_found -> 
315 315
	ty_struct
316 316
    end
317
  | Const_string _ -> assert false (* string should only appear in annotations *)
317 318

  
318 319
(* The following typing functions take as parameter an environment [env]
319 320
   and whether the element being typed is expected to be constant [const]. 
......
501 502
    (*update_clock env in_main c expr.expr_loc typ_l;*)
502 503
    expr.expr_type <- typ_out;
503 504
    typ_out
504
  | Expr_uclock (e,k) | Expr_dclock (e,k) ->
505
      let ty = type_expr env in_main const e in
506
      expr.expr_type <- ty;
507
      ty
508
  | Expr_phclock (e,q) ->
509
      let ty = type_expr env in_main const e in
510
      expr.expr_type <- ty;
511
      ty
512 505
  in 
513 506
  Log.report ~level:3 (fun fmt -> Format.fprintf fmt "Type of expr %a: %a@." Printers.pp_expr expr Types.print_ty resulting_ty);
514 507
  resulting_ty

Also available in: Unified diff