By looking at your first version, my simple answer is that a linear stream cannot be used in this way. The second version is possible but I am not sure what you wanted to do exactly. If you show me how to use a non-linear stream to do it, then I could probably say more.
On Sat, Jul 9, 2022 at 5:26 AM Dambaev Alexander <[email protected]> wrote: > Hi, > > I had tried to implement function of type: > > ``` > fun > {a:t0p} > isPrime > ( xs: !stream_vt( int) > , x: int > ):<cloptr1> > bool > ``` > > Ie, I want to force evaluation of some portion of a stream, but I need to > preserve it for a later use. > > I had tried to make a similar version: > ``` > fun > {a:t0p} > isPrime > ( xs: stream_vt( int) > , x: int > ):<cloptr1> > ( stream_vt( int), bool) > ``` > > but failed as well, so I decided to ask for a direction if someone had > tried to do similar stuff > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KwFq7JH%2BiZE7bWCJ_L7oZ38K-kmGBFii7DZsdxWLDsGmg%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KwFq7JH%2BiZE7bWCJ_L7oZ38K-kmGBFii7DZsdxWLDsGmg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqp62MaoG8hugJ8h2mUt%2BsSAJ2eu6uRuJ%3D5nMOc4EbcfQ%40mail.gmail.com.
