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.
