Merge pull request #340 from thinkbeforecoding/fix-non-primitive-out-types

Fix: non primitive out types

@thinkbeforecoding yes it looks great, thanks!

Are you fine building your own package from master for now? I probably won't have time in coming days to push a release

Author: smoothdeveloper

.gitignore

@@ -46,7 +46,7 @@ local.properties
 *.suo
 *.user
 *.sln.docstates
-
+launchSettings.json
 # Build results
 
 [Dd]ebug/

src/SqlClient.DesignTime/DesignTime.fs

@@ -78,7 +78,10 @@ type DesignTime private() =
 
                         if t.IsArray
                         then Expr.Value(Array.CreateInstance(t.GetElementType(), param.Size))
-                        else Expr.Value(Activator.CreateInstance(t), t)
+                        elif t.IsPrimitive then
+                            Expr.Value(Activator.CreateInstance(t), t)
+                        else
+                            Expr.DefaultValue(t)
 
                 <@@ (%%Expr.Value(param.Name) : string), %%Expr.Coerce(value, typeof<obj>) @@>
             )
@@ -100,9 +103,10 @@ type DesignTime private() =
                             if sqlParam.Direction.HasFlag( ParameterDirection.Output)
                             then 
                                 let mi = 
-                                    typeof<Mapper>
-                                        .GetMethod("SetRef")
-                                        .MakeGenericMethod( sqlParam.TypeInfo.ClrType)
+                                    ProvidedTypeBuilder.MakeGenericMethod(
+                                        typeof<Mapper>
+                                            .GetMethod("SetRef"),
+                                            [sqlParam.TypeInfo.ClrType])
                                 Expr.Call(mi, [ argExpr; Expr.Var arr; Expr.Value index ]) |> Some
                             else 
                                 None

src/SqlClient/Shared.fs

@@ -35,7 +35,11 @@ type Mapper private() =
             mapper values
 
     static member SetRef<'t>(r : byref<'t>, arr: (string * obj)[], i) = 
-        r <- arr.[i] |> snd |> unbox
+        let value = arr.[i] |> snd
+        r <-
+            match value with
+            | :? 't as v -> v
+            | _ (* dbnull *) -> Unchecked.defaultof<'t>
 
 type Column = {
     Name: string

tests/SqlClient.Tests/ProgrammabilityTests.fs

@@ -232,6 +232,30 @@ let ResultSetAndOutParam() =
     Assert.Equal<_ list>([ Some "donkey" ], [ for x in result -> x.myName ] )
     Assert.Equal(2L, !total)
 
+// Fix #340: 
+//    The type provider cannot use Expr.Value(Activator.CreateInstance(t),t) for
+//    non primitive types, like System.Guid.
+//    It now use Expr.DefaultValue(t) for non primite types.
+//    The PassGuid SP copies the input guid to the output parameter when the boolean
+//    parameter is true, and let the out parameter uninitialized when false
+[<Fact>]
+let NonPrimitiveOutParam() =
+    let guid = Guid.NewGuid()
+    let cmd = new AdventureWorks.dbo.PassGuid()
+    let _,result = cmd.Execute(guid, true)
+    Assert.Equal(guid, result)
+
+// Fix #340: 
+//    When an output parameter has not been set, its value is DBNull which cannot
+//    be unboxed. The fix sets the parameter to defaultOf<'t>.
+//    The PassGuid SP copies the input guid to the output parameter when the boolean
+//    parameter is true, and let the out parameter uninitialized when false
+[<Fact>]
+let NonPrimitiveNullOutParam() =
+    let guid = Guid.NewGuid()
+    let cmd = new AdventureWorks.dbo.PassGuid()
+    let _,result = cmd.Execute(guid, false)
+    Assert.Equal(Guid.Empty, result)
 
 [<Fact>]
 let PassingImageAsParamDoesntGetCut() = 

tests/SqlClient.Tests/extensions.sql

@@ -7,6 +7,9 @@ USE AdventureWorks2012
 IF OBJECT_ID('dbo.AddRef') IS NOT NULL 
 	DROP PROCEDURE dbo.AddRef;
 GO
+IF OBJECT_ID('dbo.PassGuid') IS NOT NULL 
+	DROP PROCEDURE dbo.PassGuid;
+GO
 IF OBJECT_ID('dbo.MyProc') IS NOT NULL
 	DROP PROCEDURE dbo.MyProc;
 GO
@@ -169,6 +172,16 @@ BEGIN
 END
 GO
 
+CREATE PROCEDURE dbo.PassGuid @x AS UNIQUEIDENTIFIER, @b AS BIT, @result AS UNIQUEIDENTIFIER OUTPUT 
+AS
+BEGIN
+	IF (@b = 1)
+	BEGIN
+		SET @result = @x 
+	END
+END
+GO
+
 CREATE PROCEDURE dbo.MyProc @p1 dbo.MyTableType readonly AS
 BEGIN
    SELECT * from @p1 p