Hi,
Is it possible to do overloadings like below?
```
fun {a:t@ype} gcomapre_val_val (a, a): int
symintr compare
overload compare with gcompare_val_val<int>
overload compare with gcompare_val_val<uint>
```
I'm asking this since this. Say, we have a dummy `mycompare`
```
fun {a:t@ype} mycompare (a, a): int
implement {a} mycompare (x, y) = gcompare_val_val<a> (x, y)
symintr comapre
overload compare with mycompare
```
Then ATS seems to have a hard time figuring out template variables when
instantiating.
Whenever we use `compare`, we have to specify fully what type it is. I'm
thinking if
```
overload compare with mycompare<int>
overload compare with mycompare<float>
```
could help in any way?
--
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/246342e5-b458-4e30-ad6b-adad7615e893%40googlegroups.com.
