Implementation of `strnptr_append`?

[aditya siram]

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

[gmhwxi]

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.

[aditya siram]

Awesome. Thanks!