STR-496: Support overloaded higher-order strategies as arguments
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
Issue Log
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