Wie übergibt man einen Typ als Attributparameter mit F # -Syntax?

Question

FsCheck ermöglicht eine individuelle Arbitrary in seiner NUnit Integration:

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

Diese Syntax funktioniert nicht. Es ist mir peinlich, das zu fragen, aber anscheinend habe ich das nie zuvor gebraucht: Wie spezifiziert man den Typ in F # als Attributparameter? Microsoft says nothing about it, noch die Wikibooks project und ich habe einige Probleme googeln dies (das Wort Typ ist omnipräsent).

Hinweis 1: Der Parameter Arbitrary ist vom Typ Type [].

Answer 1

Ich glaube, Sie in der Nähe sind, aber [1;2;3] schafft eine list<int>, Sie möchten ein Array [| 1;2;3 |] wörtlichen mit:

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