Given two, overloaded, definitions of is-applicable-method-by-subtyping:

 is-applicable-method-by-subtyping(|type, invocation)
 is-applicable-method-by-subtyping(|A, S, U)

It is impossible to pass is-applicable-method-by-subtyping as a higher order argument:

 apply-ASU(s : t * t * t -> t)

Like most language, the compiler can figure out which definition to pass as an argument, based on the type of the invoked strategy. Of course, it possible that the invocation is ambiguous. This should be report as such.

Submitted on 18 December 2005 at 10:20

On 19 December 2006 at 21:00 Jira commented:

STR-496, martin:
This can easily be fixed together with STR-497 and STR-498.


On 9 January 2013 at 16:58 Eelco Visser removed tag 0.18M5

On 9 January 2013 at 16:58 Eelco Visser tagged 0.19M1

On 9 January 2013 at 17:03 Eelco Visser removed tag 0.19M1

On 9 January 2013 at 17:03 Eelco Visser tagged interesting

Log in to post comments