diff options
| author | Brian Campbell | 2019-02-28 17:54:06 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:54:06 +0000 |
| commit | 7503075ef8e9a3698b7bd9c8033ae36a2d0776b9 (patch) | |
| tree | 415b6af2ce959a108e5a41732a94909fed4a18fd /src | |
| parent | 3e59f95ce23e24c5ccfa9e0475f0a3d4a070e318 (diff) | |
Handle implicits in destruct_atom_nexp
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index 8de4a904..b058d514 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1793,7 +1793,7 @@ and ambiguous_nexp_vars (Nexp_aux (aux, _)) = let destruct_atom_nexp env typ = match Env.expand_synonyms env typ with | Typ_aux (Typ_app (f, [A_aux (A_nexp n, _)]), _) - when string_of_id f = "atom" -> Some n + when string_of_id f = "atom" || string_of_id f = "implicit" -> Some n | Typ_aux (Typ_app (f, [A_aux (A_nexp n, _); A_aux (A_nexp m, _)]), _) when string_of_id f = "range" && nexp_identical n m -> Some n | _ -> None |