Comment passer un Type en tant que paramètre d'attribut en utilisant la syntaxe F #?

Question

FsCheck permet une coutume Arbitrary dans son intégration NUnit:

[<Property(Verbose = true, Arbitrary= [typeof<Test.Arithmetic.MyArb>])>] 
static member MultiplyIdentity (x: int64) = x * 1 = x 

Cette syntaxe ne fonctionne pas. Je me sens un peu gêné de demander, mais apparemment je n'ai jamais eu besoin de ça auparavant: comment spécifier le type dans F # comme paramètre d'attribut? Microsoft says nothing about it, et le Wikibooks project et j'ai un peu de mal à googler cela (le mot type est omniprésent).

Remarque 1: le paramètre Arbitrary est de type Type [].

Answer 1

Je pense que vous êtes proche, mais [1;2;3] crée un list<int>, vous voulez un littéral de tableau à l'aide [| 1;2;3 |]:

[<Property(Verbose = true, Arbitrary= [| typeof<Test.Arithmetic.MyArb> |])>] 
static member MultiplyIdentity (x: int64) = x * 1 = x