Splice Async quotation

[sergey-tihon]

Description

The following provided method does not compile. It tries to splice quotation inside async CE

        let meth = ProvidedMethod("SpliceMethod", [], typeof<Async<string>>, isStatic=false, 
                    invokeCode = (fun args -> 
                        let v1A = <@ async {return "1"} @>
                        <@@
                            async {
                                let! v1 = %v1A
                                return v1 + "2"
                            }
                        @@>
                    ))

Repro steps

Please provide the steps required to reproduce the problem

1. Checkout repo https://github.com/sergey-tihon/tp-splice-bug

2. dotnet build

Expected behavior

Should compile

Actual behavior

Compilation of tests project fails with error

/Users/sergey/github/tp-temp/LemonadeSpliceProvider/tests/LemonadeSpliceProvider.Tests/LemonadeSpliceProvider.Tests.fs(7,20): error FS3033: The type provider 'LemonadeSpliceProviderImplementation+BasicGenerativeProvider' reported an error: The method or operation is not implemented. [/Users/sergey/github/tp-temp/LemonadeSpliceProvider/tests/LemonadeSpliceProvider.Tests/LemonadeSpliceProvider.Tests.fsproj]

Known workarounds

Splice outside of async CE

        let meth = ProvidedMethod("SpliceMethod", [], typeof<Async<string>>, isStatic=false, 
                    invokeCode = (fun args -> 
                        let v1A = <@ async {return "1"} @>
                        <@@
                            let temp = %v1A
                            async {
                                let! v1 = temp
                                return v1 + "2"
                            }
                        @@>
                    ))

Related information

• Operating system - macOS
• latest master
• dotnet 2.1.401, mono 5.12.0.309

[kevmal]

This now seems to compile