Re: [ats-lang-users] template functions vs polymorpdic functions

[Matthias B. <mat...@gm...>]

> This is a function template. Just like in C++, a template is not
> compiled until it is applied. If you call f(1), then *essentially*,
> the following function is generated
> 
> fun f_int (x: int): x = x
That should probably be 
fun f_int(x: int): int = x
> and the call becomes f_int(1). If you call f(1.0), then the following
> function is generated:
> 
> fun f_double (x: int): x = x
And this should probably be
fun f_double(x: double): double = x