diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/typestate.ml | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index 2c0c4b15..50586004 100644 --- a/src/boot/me/typestate.ml +++ b/src/boot/me/typestate.ml @@ -365,8 +365,17 @@ let condition_assigning_visitor let constrs = Array.map (apply_names_to_constr names) formal_constrs in - let keys = Array.map (resolve_constr_to_key None) constrs in - raise_precondition s.id keys + let constr_keys = Array.map (resolve_constr_to_key None) constrs in + let arg_init_keys = + Array.concat + (Array.to_list + (Array.map + (fun arg -> + slot_inits (atom_slots cx arg)) + args)) + in + raise_precondition s.id arg_init_keys; + raise_precondition s.id constr_keys | _ -> () end; begin |