How to Explicitly define Statically Resolved Type Parameters of an inline function?
something like this:
let inline add<^a,^b,^c> (x:^a) (y:^b) :^c = x + y
You need to do something like:
let inline add< ^a, ^b, ^c when (^a or ^b) : (static member (+) : ^a * ^b -> ^c)> x y =
((^a or ^b) : (static member (+) : ^a * ^b -> ^c)(x,y))
Note the following caveats:
Microsoft is conducting an online survey to understand your opinion of the Msdn Web site. If you choose to participate, the online survey will be presented to you when you leave the Msdn Web site.
Would you like to participate?