Exception upon using FsCheck

Asked Jan 25 '13 at 21:05

Active Jan 25 '13 at 23:07

Viewed 362 times

Upon running with xUnit the simplest test from FsCheck

open FsCheck

[<Property>]
let revRevIsOrig (xs:list<int>) = 
        List.rev(List.rev xs) = xs

I receive the exception

---- System.InvalidCastException : Unable to cast object of type 'FsList@303[System.Int32]' 
to type 'FsCheck.Arbitrary`1[Microsoft.FSharp.Collections.FSharpList`1[System.Int32]]'.

I tried to catch the exception and debug, but occurs before Would anyone have any clue on how to solve this ?

Way to reproduce:

make a new project
install FsCheck.xUnit NUget
put that code into the fs file
run the tests

edited Jan 25 '13 at 23:07

asked Jan 25 '13 at 21:05

nicolas

9,549
3
39
83

bindingRedirect probably missing: http://stackoverflow.com/questions/11718385/system-wide-bindingredirect-for-f-4-0-0-0-to-4-3-0-0 – Mauricio Scheffer Jan 26 '13 at 01:56
Argh! You must be right. – nicolas Jan 26 '13 at 06:38
that was it. new library, new machine, new country = too much to handle ! I had never seen this kind of error though, what put you on the way ? – nicolas Jan 27 '13 at 15:45

Exception upon using FsCheck

0 Answers0

Linked