Do not use list concatenation when gluing streams together, just mark them as glued.

Possible improvement: rotate using the left children in the glue function,
so that the iter function becomes mostly tail-recursive. Drawback: two
allocations per glue instead of a single one.

This commit makes the following command go from 7.9s to 3.0s:

coqtop <<< "Require Import BigZ ZBinary Reals OrdersEx. Time SearchPattern _." | tail -n 1

0 files changed, 0 insertions, 0 deletions