It took me way too long to start playing around with this, but it looks like the project has a TON of potential as an all in one testing solution for F#.

I'm a big fan of MOQ for my C# code, but it won't work in F# without some extra ugliness as it relies on Linq Expressions. One of the things that finally made me start playing around with NaturalSpec was the clean syntax for mocking that you used to support. It fit my needs perfectly, but it looks like it was removed about a month ago. Is this just to avoid a dependency on Rhino.Mocks, or is there something else in the works?

Either way, I'd like to propose supporting the old syntax (or something similar) since the mocking features that replaced it don't meet my needs. I'd be happy to help implement these features, and I'd rather work with similar goals instead of diverging.

Let me know what your thoughts are.

-Chris

When running build.bat, the project is built, but the test target fails:
...
Time Elapsed 00:00:03.10
Building project: .\src\test\Spec.Euler\Spec.Euler.fsproj
c:\Windows\Microsoft.NET\Framework\v4.0.30319\MSBuild.exe .\src\test\Spec.Euler\Spec.Euler.fsproj /target:Build /p:Configuration=Debug /p:OutputPath=".\test"
Microsoft (R) Build Engine Version 4.0.30319.1
[Microsoft .NET Framework, Version 4.0.30319.1]
Copyright (C) Microsoft Corporation 2007. All rights reserved.

Build started 6/20/2010 8:35:24 PM.
Project ".\src\test\Spec.Euler\Spec.Euler.fsproj" on node 1 (Build target(s)).
PrepareForBuild:
Creating directory "obj\Debug".
Creating directory "bin\Debug".
Project ".\src\test\Spec.Euler\Spec.Euler.fsproj" (1) is building ".\src\app\NaturalSpec\NaturalSpec.fsproj" (2) on node 1 (default targets).
CoreCompile:
Skipping target "CoreCompile" because all output files are up-to-date with respect to the input files.
CopyFilesToOutputDirectory:
NaturalSpec -> .\test\NaturalSpec.dll
Done Building Project ".\src\app\NaturalSpec\NaturalSpec.fsproj" (default targets).
CoreCompile:
......\tools\FSharp\fsc.exe -o:obj\Debug\Spec.Euler.dll -g --debug:full --noframework --define:DEBUG --define:TRACE
--doc:bin\Debug\Spec.Euler.XML --optimize- --tailcalls- -r:.\tools\FSharp\FSharp.Core.dll -r:C:\Windows\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll -r:.\test\NaturalSpec.dll -r:.\tools\Nunit\nunit.framework.dll -r:"C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\v3.5\System.Core.dll" -r:"C:\Program Files (x86)\Microsoft Cloud Programmability\Reactive Extensions\v1.0.2521.0\Net35\System.CoreEx.dll" -r:C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.dll -r:"C:\Program Files (x86)\Microsoft Cloud Programmability\Reactive Extensions\v1.0.2521.0\Net35\System.Interactive.dll" -r:"C:\Program Files (x86)\Microsoft Cloud Programmability\Reactive Extensions\v1.0.2521.0\Net35\System.Reactive.dll"
-r:"C:\Program Files (x86)\Microsoft Cloud Programmability\Reactive Extensions\v1.0.2521.0\Net35\System.Threading.dll" -r:C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Xml.dll --target:library --warn:3 --warnaserror:76 --fullpaths --flaterrors Memoization.fs MathHelper.fs StringHelper.fs Problem1.fs Problem2.fs Problem3.fs Problem4.fs Problem5.fs Problem6.fs Problem7.fs Problem8.fs Problem9.fs Problem10.fs Problem11.fs Problem12.fs Problem13.fs Problem14.fs Problem15.fs Problem16.fs Problem17.fs Problem18.fs Problem19.fs Problem20.fs Problem21.fs Problem22.fs Problem23.fs Problem25.fs Problem26.fs Problem30.fs Problem31.fs Problem48.fs Problem52.fs Problem53.fs Problem59.fs Problem67.fs Problem77.fs

.\src\test\Spec.Euler\Problem19.fs(4,12): error FS1108: The type 'System.IObservable`1' is required here and is unavailable. You must add a reference to assembly 'System.Observable, Version=1.0.0.102, Culture=neutral, PublicKeyToken=31bf3856ad364e35'. [.\src\test\Spec.Euler\Spec.Euler.fsproj]

.\src\test\Spec.Euler\Problem19.fs(13,30): error FS0039: The type 'DateTime' is not defined [.\src\test\Spec.Euler\Spec.Euler.fsproj]

.\src\test\Spec.Euler\Problem19.fs(13,57): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]

.\src\test\Spec.Euler\Problem19.fs(18,31): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]

.\src\test\Spec.Euler\Problem19.fs(18,45): error FS0039: The namespace or module 'DayOfWeek' is not defined [.\src\test\Spec.Euler\Spec.Euler.fsproj]

.\src\test\Spec.Euler\Problem19.fs(18,65): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]
Done Building Project ".\src\test\Spec.Euler\Spec.Euler.fsproj" (Build target(s)) -- FAILED.

Build FAILED.

".\src\test\Spec.Euler\Spec.Euler.fsproj" (Build target) (1) ->
(CoreCompile target) ->
.\src\test\Spec.Euler\Problem19.fs(4,12): error FS1108: The type 'System.IObservable`1' is required here and is unavailable. You must add a reference to assembly 'System.Observable, Version=1.0.0.102, Culture=neutral, PublicKeyToken=31bf3856ad364e35'. [.\src\test\Spec.Euler\Spec.Euler.fsproj]
.\src\test\Spec.Euler\Problem19.fs(13,30): error FS0039: The type 'DateTime' is not defined [.\src\test\Spec.Euler\Spec.Euler.fsproj]
.\src\test\Spec.Euler\Problem19.fs(13,57): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]
.\src\test\Spec.Euler\Problem19.fs(18,31): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]
.\src\test\Spec.Euler\Problem19.fs(18,45): error FS0039: The namespace or module 'DayOfWeek' is not defined [.\src\test\Spec.Euler\Spec.Euler.fsproj]
.\src\test\Spec.Euler\Problem19.fs(18,65): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [.\src\test\Spec.Euler\Spec.Euler.fsproj]

0 Warning(s)
6 Error(s)

Time Elapsed 00:00:04.85
Running build failed.
Error:
Building .\src\test\Spec.Euler\Spec.Euler.fsproj project failed.

Build Time Report

Target Duration

Clean 00:0Fak0:00.0196836
BuildApp 00:00:07.3118153
Total: 00:00:29.7322913
------------e.---Ta-r----ge---t-H--e-l--p-e--r-+--B-u--i-l--d-E--r-r--o-r--:- --S-t-o-p---p-e--d- --b-u--i-l
d! Error occured in target "BuildTest".
Message: Building C:\Users\ryan\dev\NaturalSpec\src\test\Spec.Euler\Spec.Euler.fsproj project failed.
at [email protected](BuildError exn)
at Microsoft.FSharp.Primitives.Basics.List.iter[T](FSharpFunc2 f, FSharpList1 x)
at Microsoft.FSharp.Collections.ListModule.Iterate[T](FSharpFunc2 action, FSharpList1 list)
at Fake.TargetHelper.run(String targetName)
at [email protected](String targetName)
at <StartupCode$FSI_0001>.$FSI_0001.main@() in C:\Users\ryan\dev\NaturalSpec\build.fsx:line 90
Stopped due to error
Press any key to continue . . .

The paths with backslash are not mono-friendly, and nunit from mono is not invoked properly.

FYI:

I was recently trying to evaluate the project and copy/pasting the samples from the readme I noticed that some of the assertions in the first sample don't compile due to a possible case change in the project

(Length 4) should be (length 4)
Duplicates should be duplicates.

The paths with backslash are not mono-friendly, and nunit from mono is not invoked properly.

Hi.

I'd like to try unit-testing with mocks in F# as well as other .NET languages,
and your library looks powerful and so cool.

But I came across a problem on an elementary program as following.

When I try to create 2 mock instances of the same type,
it throws System.ArgumentException with a message
such as "An item is already added that contains same key".

I'm sorry but the message is not accurate because it was translated to my mother language...

What shall I do to make multiple mockery-instanciation work?

Karak

-- code for reproduction
#light
module MultipleInstanciation

open NaturalSpec

type IFoo = interface
  end

let binaryFunc (foo1: IFoo) (foo2: IFoo) : unit = ()

type FooImpl = class
  new() = {}
    interface IFoo
  end

[<Scenario>]
let ``try to create 2 mock-instance``() =
  let foo1 = mock<IFoo> "mock1"
  let foo2 = mock<IFoo> "mock2" // throw Exception!
  //let foo2 = new FooImpl ()

  Given foo2
    |> When calculating binaryFunc foo1
    |> Verify