But one can specify the type like that : "lam(x) =<fun1> ...", no ?
вторник, 24 октября 2017 г., 18:17:16 UTC+3 пользователь gmhwxi написал: > > > Because this kind of information is not used to resolve overloading. > > Imagine that you write > > list0_map(xs, lam(x) => ...) > > It is not clear whether 'lam(x) => ...' is a function, closure or linear > closure. > > On Tuesday, October 24, 2017 at 11:02:56 AM UTC-4, Russoul wrote: >> >> Suppose we have "list0_map_fun, list0_map_cloref, list0_map_cloptr" >> higher order functions. >> And then we overload "list0_map" with all those. Why compiler gives : >> "the symbol [list0_map] cannot be resolved due to too many matches" when >> used with one of [fun,cloref,clopth] function types ? >> > -- 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 [email protected]. To post to this group, send email to [email protected]. 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/85e571c1-7b42-4240-a7e2-68c2634dd1ae%40googlegroups.com.
