(* to share *)
let type_check err f st = function
- | a, uri, E.Abst t ->
+ | a, uri, E.Abst (n, t) ->
let f xt tt =
- let e = BE.set_entity (a, uri, E.Abst xt) in f tt e
+ let e = BE.set_entity (a, uri, E.Abst (n, xt)) in f tt e
in
L.loc := U.string_of_uri uri; BT.type_of err f st BR.empty_kam t
- | a, uri, E.Abbr t ->
+ | a, uri, E.Abbr t ->
let f xt tt =
let xt = match xt with
| B.Cast _ -> xt
let e = BE.set_entity (a, uri, E.Abbr xt) in f tt e
in
L.loc := U.string_of_uri uri; BT.type_of err f st BR.empty_kam t
- | _, _, E.Void -> assert false
+ | _, _, E.Void -> assert false