On Thu, Sep 6, 2012 at 7:45 AM, john skaller
<skal...@users.sourceforge.net>wrote:
> I did some more work and got this to go:
>
> class Applicable[A,D,C] {
> virtual fun myapply : A * D -> C;
> }
>
What if you declare it like this:
virtual fun myapply : (A -> B) * A -> B;
> It's pretty obvious you cannot deduce the type C from the arguments
> of myapply in this form.
>
>
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
