diff options
| author | Alasdair Armstrong | 2017-07-28 15:41:31 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-28 15:41:31 +0100 |
| commit | 3386adef7cd297279b22b2fbb4f3f7399c54a8c2 (patch) | |
| tree | 13a94dfe1a4befc9764c16b7e650754652914dfd /src | |
| parent | 3c18efc6153c340517d7b229fe64b38e4d3e5f33 (diff) | |
Fix break caused by merge
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 ca9c3618..b4460992 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -2128,7 +2128,7 @@ and bind_assignment env (LEXP_aux (lexp_aux, _) as lexp) (E_aux (_, (l, ())) as let checked_exp = crule check_exp env exp vec_typ in annot_assign (annot_lexp (LEXP_field (annot_lexp_effect inferred_flexp regtyp eff, field)) vec_typ) checked_exp, env | Typ_aux (Typ_id rectyp_id, _) | Typ_aux (Typ_app (rectyp_id, _), _) when Env.is_record rectyp_id env -> - let (typq, Typ_aux (Typ_fn (rectyp_q, field_typ, _), _)) = Env.get_accessor field env in + let (typq, Typ_aux (Typ_fn (rectyp_q, field_typ, _), _)) = Env.get_accessor rectyp_id field env in let unifiers, _, _ (* FIXME *) = try unify l env rectyp_q regtyp with Unification_error (l, m) -> typ_error l ("Unification error: " ^ m) in let field_typ' = subst_unifiers unifiers field_typ in let checked_exp = crule check_exp env exp field_typ' in |