let f xt tt =
let xt = match xt with
| B.Cast _ -> xt
- | _ -> B.Cast (E.empty_node, tt, xt)
+ | _ -> B.Cast (tt, xt)
in
let e = BE.set_entity (ra, na, uri, E.Abbr xt) in f tt e
in
let uri, t = match e with
| _, _, uri, E.Abst t -> uri, t
| _, _, uri, E.Abbr t -> uri, t
- | _, _, _, E.Void -> assert false
+ | _, _, _, E.Void -> assert false
in
let err msg = err (L.Uri uri :: msg) in
let f () = let _ = BE.set_entity e in f () in