Как передать параметр типа как атрибута с помощью синтаксиса F #?

Question

FsCheck позволяет обычай Arbitrary в интеграции NUnit:

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

Этот синтаксис не работает. Я чувствую себя немного неловко, чтобы спросить, но, по-видимому, мне это никогда не понадобилось: как вы указываете тип в F # как параметр атрибута? Microsoft says nothing about it, а также Wikibooks project, и у меня есть некоторые проблемы с поисковой системой (слово тип вездесущий).

Примечание 1: параметр Arbitrary имеет тип Type [].

Answer 1

Я думаю, что вы близки, но [1;2;3] создает list<int>, вы хотите массив буквального использование [| 1;2;3 |]:

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