Detect queries within lambda expressions wrapped in single case unions

src/NpgsqlFSharpAnalyzer.Core/SyntacticAnalysis.fs

@@ -615,6 +615,8 @@ module SyntacticAnalysis =
                 ]
 
                 [ { blocks = blocks; range = range; } ]
+            | SynExpr.Paren(innerExpr, leftRange, rightRange, range) ->
+                visitSyntacticExpression innerExpr range
             | _ ->
                 [ ]
         | SynExpr.LetOrUse(isRecursive, isUse, bindings, body, range) ->

tests/NpgsqlFSharpAnalyzer.Tests/Tests.fs

@@ -65,6 +65,14 @@ let tests =
                 Expect.equal 1 operations.Length "There should be one syntactic block found"
         }
 
+        test "Syntactic analysis: SQL block found from lambda body wrapped in single case union" {
+            match context (find "../examples/hashing/syntacticAnalysisFromSingleCaseUnion.fs") with
+            | None -> failwith "Could not crack project"
+            | Some context ->
+                let operations = SyntacticAnalysis.findSqlOperations context
+                Expect.equal 1 operations.Length "There should be one syntactic block found"
+        }
+
         test "Syntactic Analysis: reading queries with [<Literal>] query" {
             match context (find "../examples/hashing/syntacticAnalysis-literalStrings.fs") with
             | None -> failwith "Could not crack project"

tests/examples/hashing/examples.fsproj

@@ -7,6 +7,7 @@
   <ItemGroup>
     <Compile Include="castingNonNullableStaysNonNullable.fs" />
     <Compile Include="syntacticAnalysisFromLambdaBody.fs" />
+    <Compile Include="syntacticAnalysisFromSingleCaseUnion.fs" />
     <Compile Include="topLevelExpressionIsDetected.fs" />
     <Compile Include="usingLiteralQueriesWithTransactions.fs" />
     <Compile Include="detectingDynamicListsInTransactions.fs" />

tests/examples/hashing/syntacticAnalysisFromLambdaBody.fs

@@ -3,8 +3,8 @@ module SyntacticAnalysisFromLambdaBody
 open Npgsql.FSharp
 
 let getData =
-    fun (connectionSring: string) -> 
-        connectionSring
+    fun (connectionString: string) -> 
+        connectionString
         |> Sql.connect
         |> Sql.query "SELECT * FROM users WHERE user_id = @user_id"
         |> Sql.parameters [ "@user_id", Sql.int 42 ]

tests/examples/hashing/syntacticAnalysisFromSingleCaseUnion.fs

@@ -0,0 +1,13 @@
+module SyntacticAnalysisFromSingleCaseUnion
+
+open Npgsql.FSharp
+
+type SqlAction = SqlAction of (string -> Result<int list, exn>)
+
+let getData =
+    SqlAction (fun (connectionString: string) -> 
+        connectionString
+        |> Sql.connect
+        |> Sql.query "SELECT * FROM users WHERE user_id = @user_id"
+        |> Sql.parameters [ "@user_id", Sql.int 42 ]
+        |> Sql.execute (fun read -> read.int "user_id"))