diff options
| author | Thomas Bauereiss | 2020-05-08 13:37:25 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-05-08 13:40:28 +0100 |
| commit | bed9f2f05813afec446a26e441e1df3d08d9c251 (patch) | |
| tree | ab67ae0cbb1f63d98c2d6adf906615b9265528fd /src | |
| parent | b8f99df745e03ca5805110f52f5263c2ee2813fe (diff) | |
Only check int kids when simplifying nexps
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 0e946f96..f4d0aa56 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -2108,7 +2108,9 @@ let simplify_size_nexp env typ_env (Nexp_aux (ne,l) as nexp) = | None -> let is_equal kid = try - prove __POS__ typ_env (NC_aux (NC_equal (Nexp_aux (Nexp_var kid,Unknown), nexp),Unknown)) + if Env.get_typ_var kid typ_env = K_int then + prove __POS__ typ_env (NC_aux (NC_equal (Nexp_aux (Nexp_var kid,Unknown), nexp),Unknown)) + else false with _ -> false in match ne with |