Project

General

Profile

Revision 45f0f48d src/typing.ml

View differences:

src/typing.ml
542 542
   in environment [env] *)
543 543
let type_coreclock env ck id loc =
544 544
  match ck.ck_dec_desc with
545
  | Ckdec_any | Ckdec_pclock (_,_) -> ()
545
  | Ckdec_any -> ()
546 546
  | Ckdec_bool cl ->
547 547
      let dummy_id_expr = expr_of_ident id loc in
548 548
      let when_expr =

Also available in: Unified diff