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 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/22e8fffb-f323-4879-8403-dd7033beb1da%40googlegroups.com.