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