Enable and add v0.3.0 NuGet tests

Author: abelbraaksma

src/FSharp.Control.TaskSeq.SmokeTests/FSharp.Control.TaskSeq.SmokeTests.fsproj

@@ -7,15 +7,20 @@
     <GenerateProgramFile>false</GenerateProgramFile>
   </PropertyGroup>
 
+  <ItemGroup>
+    <Content Remove="C:\Users\Abel\.nuget\packages\fsharp.control.taskseq\0.3.0\contentFiles\any\netstandard2.1\release-notes.txt" />
+  </ItemGroup>
+
   <ItemGroup>
     <Compile Include="SmokeTests.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="FSharp.Control.TaskSeq" Version="0.2.2" />
+    <PackageReference Include="FSharp.Control.TaskSeq" Version="0.3.0" />
+    <PackageReference Include="FsUnit.xUnit" Version="5.1.0" />
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.1.0" />
-    <PackageReference Include="xunit" Version="2.4.1" />
+    <PackageReference Include="xunit" Version="2.4.2" />
     <PackageReference Include="xunit.runner.visualstudio" Version="2.4.3">
       <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
       <PrivateAssets>all</PrivateAssets>

src/FSharp.Control.TaskSeq.SmokeTests/SmokeTests.fs

@@ -4,15 +4,35 @@ open System
 open System.Threading.Tasks
 open Xunit
 open FSharp.Control
+open FsUnit.Xunit
+
+//
+// this file can be used to hand-test NuGet deploys
+// esp. when there are changes in the surface area
+//
+// This project gets compiled in CI, but is not part
+// of the structured test reports currently.
+// However, a compile error will fail the CI pipeline.
+//
+
+
+type private MultiDispose(disposed: int ref) =
+    member _.Get1() = 1
+
+    interface IDisposable with
+        member _.Dispose() = disposed.Value <- 1
+
+    interface IAsyncDisposable with
+        member _.DisposeAsync() = ValueTask(task { do disposed.Value <- -1 })
 
 [<Fact>]
-let ``Use and execute a taskSeq from nuget`` () =
+let ``Use and execute a minimal taskSeq from nuget`` () =
     taskSeq { yield 10 }
     |> TaskSeq.toArray
     |> fun x -> Assert.Equal<int array>(x, [| 10 |])
 
 [<Fact>]
-let ``Use and execute a taskSeq from nuget with multiple keywords`` () =
+let ``Use taskSeq from nuget with multiple keywords v0.2.2`` () =
     taskSeq {
         do! task { do! Task.Delay 10 }
         let! x = task { return 1 }
@@ -26,19 +46,52 @@ let ``Use and execute a taskSeq from nuget with multiple keywords`` () =
 
 // from version 0.3.0:
 
-//[<Fact>]
-//let ``Use and execute a taskSeq from nuget with multiple keywords v0.3.0`` () =
-//    taskSeq {
-//        do! task { do! Task.Delay 10 }
-//        do! Task.Delay 10 // only in 0.3
-//        let! x = task { return 1 } :> Task // only in 0.3
-//        yield 1
-//        let! vt = ValueTask<int> ( task { return 2 } )
-//        yield vt
-//        let! vt = ValueTask ( task { return 2 } ) // only in 0.3
-//        do! ValueTask ( task { return 2 } ) // only in 0.3
-//        yield 3
-//        yield 10
-//    }
-//    |> TaskSeq.toArray
-//    |> fun x -> Assert.Equal<int array>(x, [| 1; 2; 3; 10 |])
+[<Fact>]
+let ``Use taskSeq from nuget with multiple keywords v0.3.0`` () =
+    taskSeq {
+        do! task { do! Task.Delay 10 }
+        do! Task.Delay 10 // only in 0.3
+        let! x = task { return 1 } :> Task // only in 0.3
+        yield 1
+        let! vt = ValueTask<int>(task { return 2 })
+        yield vt
+        let! vt = ValueTask(task { return 2 }) // only in 0.3
+        do! ValueTask(task { return 2 }) // only in 0.3
+        yield 3
+        yield 10
+    }
+    |> TaskSeq.toArray
+    |> fun x -> Assert.Equal<int array>(x, [| 1; 2; 3; 10 |])
+
+[<Fact>]
+let ``Use taskSeq when type implements IDisposable and IAsyncDisposable`` () =
+    let disposed = ref 0
+
+    let ts = taskSeq {
+        use! x = task { return new MultiDispose(disposed) } // Used to fail to compile (see #97, fixed in v0.3.0)
+        yield x.Get1()
+    }
+
+    ts
+    |> TaskSeq.length
+    |> Task.map (should equal 1)
+    |> Task.map (fun _ -> disposed.Value |> should equal -1) // must favor IAsyncDisposable, not IDisposable
+
+[<Fact>]
+let ``Use taskSeq as part of an F# task CE`` () = task {
+    let ts = taskSeq { yield! [ 0..99 ] }
+    let ra = ResizeArray()
+
+    // loop through a taskSeq, support added in v0.3.0
+    for v in ts do
+        ra.Add v
+
+    ra.ToArray() |> should equal [| 0..99 |]
+}
+
+[<Fact>]
+let ``New surface area functions availability tests v0.3.0`` () = task {
+    let ts = TaskSeq.singleton 10 // added in v0.3.0
+    let! ls = TaskSeq.toListAsync ts
+    List.exactlyOne ls |> should equal 10
+}