implement(env_t) ifold_left<Text0><$BS.Bytestring1>( env, i, f) = ()
should probably be: implement(env_t) ifold_left<env_t><Text0><$BS.Bytestring1>( env, i, f) = () On Fri, May 21, 2021 at 6:13 AM Dambaev Alexander <ice.redm...@gmail.com> wrote: > are there any gotchas with partial specification? > > I have such template definition: > > ```` > fn > {env:viewt0ype+} > {a:viewt0ype+} > {element:viewt0ype+} > ifold_left > {fe:eff} > ( env: !INV(env) > , i: !INV(a) > , f: (size_t, !INV(env),!INV(element))-<fe> bool > ):<fe,!wrt> > void > ``` > and this partial implementation: > ``` > implement(env_t) ifold_left<Text0><$BS.Bytestring1>( env, i, f) = > () > ``` > > but I have this error on the line of such implementation: > ``` > /data/devel/ats2/text/src/DATS/text_templates.dats: 1966(line=75, offs=1) > -- 2033(line=76, offs=6): error(2): the template is expected to be fully > applied but it is not. > ``` > > -- > You received this message because you are subscribed to a topic in the > Google Groups "ats-lang-users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/ats-lang-users/nPH1DNJRkKI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kx6febCVhJ7fs5GT-nZW2tGOi0x97qdFrCb7GtdeV2zUA%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kx6febCVhJ7fs5GT-nZW2tGOi0x97qdFrCb7GtdeV2zUA%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 ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLp2RZ-2q%3DrQDCy9keW362pUeooGDFFGmnOjrNi1u-5H0g%40mail.gmail.com.