Support variadic functions such as printf - Githubissues

metasepi / idiomaticca

Translate IDIOMATIC C into human-readable ATS

http://metasepi.org/

GNU Affero General Public License v3.0

3 stars 0 forks source link

Support variadic functions such as printf #49

Open master-q opened 5 years ago

master-q commented 5 years ago

At ATS1, we were able to use printf:

http://ats-lang.sourceforge.net/htdocs-old/TUTORIAL/contents/tutorial_all.html#variadicity

master-q commented 5 years ago

At ATS2, we should write printf function on C language side?

https://github.com/githwxi/ATS-Postiats/blob/5458ff05562212a0400e373ba59600815c64fc98/doc/EXAMPLE/TESTATS/variadic.dats#L76

master-q commented 5 years ago

How about ATS3?