Revision 45f0f48d
Added by Xavier Thirioux almost 6 years ago
| 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
...