search

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates
www.ats-lang.org
Other
354 stars 54 forks source link

stropt2stropt1 should be strptr2stropt1 #266

Closed okeuday closed 3 years ago

okeuday commented 3 years ago

Based on the types involved, it looks like the second function name is wrong (it looks like it should be "strptr2stropt1" instead): https://github.com/githwxi/ATS-Postiats/blob/7f5bea78c8849e730ca9b89bb513d25674b06ae5/prelude/SATS/CODEGEN/strptr.atxt#L132-L135

githwxi commented 3 years ago

Thanks. I fixed it.