Awesome. Thanks!
On Sunday, December 3, 2017 at 8:39:05 PM UTC-6, gmhwxi wrote:
>
> I couldn't find it, either.
> So I just added it (into prelude/DATS/strptr.dats).
> Dynamically, this function is the same as string1_append.
>
> Thanks for reporting the issue.
>
> On Sunday, December 3, 2017 at 8:09:53 PM UTC-5, aditya siram wrote:
>>
>> Hi,
>> I was going through the source for strings and noticed that
>> 'strnptr_append'
>> https://github.com/githwxi/ATS-Postiats/blob/master/prelude/SATS/CODEGEN/strptr.atxt#L352
>>
>> does not seem to have a corresponding implemenation in 'strptr.dats'. I
>> also grep'ed the rest of the codebase and was unable to find any reference
>> to it except in 'strptr.sats'. Is the implementation somehow generated or
>> inferred?
>> Thanks!
>> -deech
>>
>
--
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 post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/9225ed25-074b-4fc7-b727-9889786486fb%40googlegroups.com.
