Corey Huinker <corey.huin...@gmail.com> writes: > The infinite-upper-bound-withlimit-pushdown counterexample makes sense, but > seems like we're using generate_series() only because we lack a function > that generates a series of N elements, without a specified upper bound, > something like
> generate_finite_series( start, step, num_elements ) Yeah, that could be a reasonable thing to add. > And if we did that, I'd lobby that we have one that takes dates as well as > one that takes timestamps, because that was my reason for starting the > thread above. Less sure about that. ISTM the reason that the previous proposal failed was that it introduced too much ambiguity about how to resolve unknown-type arguments. Wouldn't the same problems arise here? regards, tom lane