Revision 01c7d5e1 src/typing.ml
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