let err error loc =
              raise (Loc.Exc_located (loc, (Error.E error)))