Symintr: required or optional?

Google Group
1

Hi people,

Another basic question.

Looking at Overloading Functions in ATS (bluishcoder.co.nz)
http://bluishcoder.co.nz/2011/10/19/overloading-functions-in-ats.html, I
came to this sample:

symintr my_print

fun my_print_integer (a: int) = (print_int (a); print ("\n"))
fun my_print_double (a: double) = (print_double (a); print ("\n"))
fun my_print_string (a: string) = (print_string (a); print ("\n"))

overload my_print with my_print_integer
overload my_print with my_print_double
overload my_print with my_print_string

(the original uses a printf which seems not there any‑more in ATS2)

If I remove the symintr declaration, it’s still accepted. Looks like
overload alone is enough?

Side note: I like explicit overloading declaration of ATS2 (in some
context, I like when things are explicit).

2

Right now, if a symbol is available, then it is used, Otherwise, a new one
is introduced
implicitly.On Fri, Aug 8, 2014 at 7:41 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Hi people,

Another basic question.

Looking at Overloading Functions in ATS (bluishcoder.co.nz)
http://bluishcoder.co.nz/2011/10/19/overloading-functions-in-ats.html,
I came to this sample:

symintr my_print

fun my_print_integer (a: int) = (print_int (a); print (“\n”))
fun my_print_double (a: double) = (print_double (a); print (“\n”))
fun my_print_string (a: string) = (print_string (a); print (“\n”))

overload my_print with my_print_integer
overload my_print with my_print_double
overload my_print with my_print_string

(the original uses a printf which seems not there any‑more in ATS2)

If I remove the symintr declaration, it’s still accepted. Looks like
overload alone is enough?

Side note: I like explicit overloading declaration of ATS2 (in some
context, I like when things are explicit).

–
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/e4dbd377-f0c2-4a48-9c19-bbb64527ce8c%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e4dbd377-f0c2-4a48-9c19-bbb64527ce8c%40googlegroups.com?utm_medium=email&utm_source=footer
.