- let f xt tt = E.set_obj (f tt) (a, uri, B.Abst xt) in
- T.type_of f g B.empty_context t
- | Some (a, uri, B.Abbr t) ->
+ let f xt tt = E.set_obj (f tt) (e, uri, B.Abst xt) in
+ L.loc := e; T.type_of f g B.empty_context t
+ | Some (e, uri, B.Abbr t) ->