diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index 5774a46f..cc0b9843 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1997,6 +1997,10 @@ let rec combine_constraint b f x y = match b, x, y with | _, _, _ -> None let rec assert_constraint env b (E_aux (exp_aux, _) as exp) = + match typ_of exp with + | Typ_aux (Typ_app (Id_aux (Id "atom_bool", _), [A_aux (A_bool nc, _)]), _) -> + Some nc + | _ -> match exp_aux with | E_constraint nc -> Some nc |