F #: parametri di tipo esplicite in operatore vincolante

Question

sto cercando di definire operatore con i parametri di tipo esplicito e vincoli:

let inline (===)<'a, 'b 
    when 'a : not struct 
    and 'b : not struct> a b = obj.ReferenceEquals (a,b) 

Funziona bene in F # 2.0, ma produce il:

avviso FS1189:
I parametri di tipo devono essere inseriti direttamente su adiacenti al nome del tipo, ad es. "Tipo C < 'T>", non di tipo "C <' T>"

Allora, qual è il modo giusto di fare esplicita specificazione argomenti di tipo per la definizione dell'operatore?

p.s. Per favore non parlarmi di parametri di tipo implicito e di altri metodi alternativi, voglio risolvere concretamente questo problema.

Answer 1

Un errore nel compilatore indica che gli operatori simbolici non vengono mai considerati direttamente adiacenti ai parametri di tipo. Puoi risolvere il problema tramite ad es.

let inline myeq<'a, 'b 
    when 'a : not struct 
    and 'b : not struct> a b = obj.ReferenceEquals (a,b) 

let inline (===) a b = myeq a b 

Answer 2

let inline (===) (a : 'TA when 'TA : not struct) (b : 'TB when 'TB : not struct) = 
    obj.ReferenceEquals (a,b)