Convert to .NET standard about fsharp-hedgehog-experimental HOT 10 CLOSED

Paket version 5.133.0
Performance:
 - Runtime: 1 second
Building project with version: LocalBuild
Shortened DependencyGraph for Target Test:
<== Test
   <== Build

The resulting target order is:
 - Build
 - Test
Starting Target: Build 
Building project: D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln
  C:\Program Files (x86)\MSBuild\14.0\Bin\MSBuild.exe  D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln /t:Rebuild /m      /p:RestorePackages="False" /p:Configuration="Release" /logger:Fake.MsBuildLogger+ErrorLogger,"D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\packages\FAKE\tools\FakeLib.dll"
Microsoft (R) Build Engine version 14.0.25420.1
Copyright (C) Microsoft Corporation. All rights reserved.

Build started 2/8/2018 7:17:51 AM.
     1>Project "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln" on node 1 (Rebuild target(s)).
     1>ValidateSolutionConfiguration:
         Building solution configuration "Release|Any CPU".
     1>Project "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln" (1) is building "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj" (2) on node 1 (Rebuild target(s)).
     2>CoreClean:
         Deleting file "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\obj\Release\Hedgehog.Experimental.fsprojResolveAssemblyReference.cache".
       GenerateTargetFrameworkMonikerAttribute:
       Skipping target "GenerateTargetFrameworkMonikerAttribute" because all output files are up-to-date with respect to the input files.
       CoreCompile:
         C:\Program Files (x86)\Microsoft SDKs\F#\4.0\Framework\v4.0\fsc.exe -o:obj\Release\Hedgehog.Experimental.dll --noframework --doc:bin\Release\Hedgehog.Experimental.XML --optimize+ -r:D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\packages\FSharp.Core\lib\net40\FSharp.Core.dll -r:D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\packages\Hedgehog\lib\net452\Hedgehog.dll -r:"C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.5.2\mscorlib.dll" -r:"C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.5.2\System.Core.dll" -r:"C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.5.2\System.dll" -r:"C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.5.2\System.Numerics.dll" -r:D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\packages\TypeShape\lib\net40\TypeShape.CSharp.dll -r:D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\packages\TypeShape\lib\net40\TypeShape.dll --target:library --warnaserror:76 --fullpaths --flaterrors --subsystemversion:6.00 --highentropyva+ "D:\Users\Nikos\AppData\Local\Temp\1\.NETFramework,Version=v4.5.2.AssemblyAttributes.fs" Gen.fs AssemblyInfo.fs Script.fsx 
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(8,5): error FS0927: The kind of the type specified by its attributes does not match the kind implied by its definition [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(243,11): error FS0039: The record label 'Byte' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,45): error FS0039: The type 'AutoGenConfig' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,45): error FS0039: The type 'AutoGenConfig' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(262,21): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(263,19): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(276,20): error FS0670: This code is not sufficiently generic. The type variable 'a could not be generalized because it would escape its scope. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(282,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(283,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(284,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(285,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(287,30): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(288,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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(290,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(291,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(292,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(293,32): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(297,30): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(298,38): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(305,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(305,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,88): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,87): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(334,15): error FS0001: This expression was expected to have type     'b     but here has type     'a list [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(334,15): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(342,15): error FS0001: This expression was expected to have type     'a     but here has type     ('k * 'v) list [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(342,15): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(409,32): error FS0001: This expression was expected to have type     'a     but here has type     'CtorParams [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(409,32): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,13): error FS0043: The type ''a' does not match the type ''b' [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(415,20): error FS0039: The value or constructor 'autoInner' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         
     2>D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(417,31): error FS0039: The value or constructor 'autoInner' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
     2>Done Building Project "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj" (Rebuild target(s)) -- FAILED.
     1>Done Building Project "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln" (Rebuild target(s)) -- FAILED.

Build FAILED.

       "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\Hedgehog.Experimental.sln" (Rebuild target) (1) ->
       "D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj" (Rebuild target) (2) ->
       (CoreCompile target) -> 
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(8,5): error FS0927: The kind of the type specified by its attributes does not match the kind implied by its definition [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(243,11): error FS0039: The record label 'Byte' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,45): error FS0039: The type 'AutoGenConfig' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,45): error FS0039: The type 'AutoGenConfig' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(262,21): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(263,19): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(276,20): error FS0670: This code is not sufficiently generic. The type variable 'a could not be generalized because it would escape its scope. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(282,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(283,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(284,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(285,29): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(287,30): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(288,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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(290,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(291,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(292,28): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(293,32): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(297,30): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(298,38): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(305,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(305,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(314,88): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,17): error FS0001: This expression was expected to have type     'b     but here has type     'a [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,17): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(326,87): 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. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(334,15): error FS0001: This expression was expected to have type     'b     but here has type     'a list [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(334,15): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(342,15): error FS0001: This expression was expected to have type     'a     but here has type     ('k * 'v) list [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(342,15): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(409,32): error FS0001: This expression was expected to have type     'a     but here has type     'CtorParams [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(409,32): error FS0006: A use of the function 'autoInner' does not match a type inferred elsewhere. The inferred type of the function is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>.     The type of the function required at this point of use is     'a -> Microsoft.FSharp.Collections.Map<Microsoft.FSharp.Core.string,Microsoft.FSharp.Core.int> -> Hedgehog.Gen<'b>     This error may be due to limitations associated with generic recursion within a 'let rec' collection or within a group of classes. Consider giving a full type signature for the targets of recursive calls including type annotations for both argument and return types. [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(258,13): error FS0043: The type ''a' does not match the type ''b' [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(415,20): error FS0039: The value or constructor 'autoInner' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]
         D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Gen.fs(417,31): error FS0039: The value or constructor 'autoInner' is not defined [D:\Users\Nikos\Downloads\fsharp-hedgehog-experimental\src\Hedgehog.Experimental\Hedgehog.Experimental.fsproj]

    0 Warning(s)
    36 Error(s)

Time Elapsed 00:00:00.65