- | _, uri, E.Abst (_, t) -> uri, t
- | _, uri, E.Abbr t -> uri, t
- | _, _, E.Void -> assert false
+ | _, _, uri, E.Abst (_, t) -> uri, t
+ | _, _, uri, E.Abbr (_, t) -> uri, t
+ | _, _, _, E.Void -> assert false
+ in
+ let err msg = err (L.Uri uri :: msg) in
+ let f () =
+ let _ = BE.set_entity e in
+IFDEF PROFV THEN
+ if !G.si then () else Y.utime_lap "validated"
+ELSE () END;
+ f ()