Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type checking hangs with newly built TypeProvider #1307

Open
5 tasks done
MrLuje opened this issue Jun 19, 2024 · 0 comments
Open
5 tasks done

Type checking hangs with newly built TypeProvider #1307

MrLuje opened this issue Jun 19, 2024 · 0 comments
Labels
bug

Comments

@MrLuje
Copy link
Contributor

MrLuje commented Jun 19, 2024 •
edited
Loading

Version

v7.20.2

Dotnet Info

.NET SDK (reflecting any global.json):
Version: 6.0.423
Commit: c5c9e53229

Runtime Environment:
OS Name: ubuntu
OS Version: 22.04
OS Platform: Linux
RID: ubuntu.22.04-x64
Base Path: /usr/share/dotnet/sdk/6.0.423/

Host:
Version: 8.0.6
Architecture: x64
Commit: 3b8b000a0e

.NET SDKs installed:
6.0.423 [/usr/share/dotnet/sdk]
7.0.410 [/usr/share/dotnet/sdk]
8.0.301 [/usr/share/dotnet/sdk]

.NET runtimes installed:
Microsoft.AspNetCore.App 6.0.31 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App]
Microsoft.AspNetCore.App 7.0.20 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App]
Microsoft.AspNetCore.App 8.0.6 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App]
Microsoft.NETCore.App 6.0.31 [/usr/share/dotnet/shared/Microsoft.NETCore.App]
Microsoft.NETCore.App 7.0.20 [/usr/share/dotnet/shared/Microsoft.NETCore.App]
Microsoft.NETCore.App 8.0.6 [/usr/share/dotnet/shared/Microsoft.NETCore.App]

Other architectures found:
None

Environment variables:
DOTNET_ROOT [/usr/share/dotnet]

global.json file:
/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/global.json

Learn more:
https://aka.ms/dotnet/info

Download .NET:
https://aka.ms/dotnet/download

Steps to reproduce

Run the following script that will :

  • Create a new type provider based on FSharp.TypeProviders.Templates template
  • Build/Test/Pack it
  • Open the resulting folder in VsCode
  • Navigating on fs files in Design or Runtime project is fine
  • Opening LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs file make typechecking hang
#!/usr/bin/env bash
set -e -o pipefail

rm -R LemonadeProvider || true
dotnet new -i FSharp.TypeProviders.Templates
dotnet new typeprovider -n LemonadeProvider -lang F#

cd LemonadeProvider

# Upgrade project from template
## set global.json to 6.0.300
sed -i 's/5.0.400/6.0.300/' global.json

## bump paket to 8.0.3
sed -i 's/6.1.3/8.0.3/' .config/dotnet-tools.json

## set test project to net6.0
sed -i 's/net5/net6/' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fsproj

## fix NUnit issues from the template in LemonadeProvider.Tests.fs
sed -i '5i open NUnit.Framework.Legacy' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
sed -i 's/Assert/ClassicAssert/g' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs

# make sure everything is ok
dotnet tool restore
dotnet paket update
dotnet build -c debug
dotnet test -c debug

dotnet paket pack nuget --version 0.0.1

Details

  • actual : Ionide/FSAC hangs while typechecking the file
    image

    this seems to be quite a lot of spans for this action
    image

  • expected : Ionide/FSAC shouldn't hang

Logs

[Trace - 1:28:20 PM] Sending request 'textDocument/codeAction - (29)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 0,
            "character": 0
        }
    },
    "context": {
        "diagnostics": [],
        "triggerKind": 2
    }
}


[13:28:20.428 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeAction Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 0, "Character": 0, "$type": "Position"}, "$type": "Range"}, "Context": {"Diagnostics": [], "Only": null, "TriggerKind": {"Value": "Automatic", "$type": "Some"}, "$type": "CodeActionContext"}, "$type": "CodeActionParams"}
[13:28:20.429 INF] [FsAutoComplete.Lsp.AdaptiveState] Getting typecheck results for /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - 400092118 - 06/19/2024 11:03:01
[Trace - 1:28:20 PM] Received request 'window/workDoneProgress/create - (58)'.
Params: {
    "token": "fab25b88-3a04-4523-aa44-5814c168c2c4"
}


[Trace - 1:28:20 PM] Sending response 'window/workDoneProgress/create - (58)'. Processing request took 0ms
No result returned.


[Trace - 1:28:20 PM] Received notification '$/progress'.
Params: {
    "token": "fab25b88-3a04-4523-aa44-5814c168c2c4",
    "value": {
        "kind": "begin",
        "title": "Typechecking LemonadeProvider.Tests.fs",
        "cancellable": true,
        "message": "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:20.441 INF] [Checker] ParseAndCheckFileInProject - "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
[Trace - 1:28:20 PM] Sending notification '$/cancelRequest'.
Params: {
    "id": 29
}


[Trace - 1:28:20 PM] Sending request 'textDocument/codeAction - (30)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 36,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    },
    "context": {
        "diagnostics": [],
        "triggerKind": 2
    }
}


[13:28:20.630 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeAction Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 36, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "Context": {"Diagnostics": [], "Only": null, "TriggerKind": {"Value": "Automatic", "$type": "Some"}, "$type": "CodeActionContext"}, "$type": "CodeActionParams"}
[Trace - 1:28:20 PM] Received response 'textDocument/codeAction - (29)' in 213ms. Request failed: The task was cancelled. (-32800).
[Trace - 1:28:20 PM] Sending request 'textDocument/documentSymbol - (31)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:20.677 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentDocumentSymbol Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "DocumentSymbolParams"}
[13:28:20.678 INF] [Checker] ParseFile - /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
[13:28:20.678 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs started
[13:28:20.678 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - [{"Name": "LemonadeProviderTests", "Range": {"$type": "Rng"}, "Childs": [{"Name": "Default constructor should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 2, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Constructor with parameter should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 3, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Method with ReflectedDefinition parameter should get its name", "Range": {"$type": "Rng"}, "Childs": [], "Id": 4, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 2", "Range": {"$type": "Rng"}, "Childs": [], "Id": 7, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 4", "Range": {"$type": "Rng"}, "Childs": [], "Id": 8, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}], "Id": 1, "List": true, "ModuleType": "Module", "Type": "NUnit", "$type": "TestAdapterEntry`1"}]
[Trace - 1:28:20 PM] Received notification 'fsharp/testDetected'.
Params: {
    "file": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
    "tests": [
        {
            "name": "LemonadeProviderTests",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            },
            "childs": [
                {
                    "name": "Default constructor should create instance",
                    "range": {
                        "start": {
                            "line": 6,
                            "character": 0
                        },
                        "end": {
                            "line": 7,
                            "character": 53
                        }
                    },
                    "childs": [],
                    "id": 2,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Constructor with parameter should create instance",
                    "range": {
                        "start": {
                            "line": 10,
                            "character": 0
                        },
                        "end": {
                            "line": 11,
                            "character": 60
                        }
                    },
                    "childs": [],
                    "id": 3,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Method with ReflectedDefinition parameter should get its name",
                    "range": {
                        "start": {
                            "line": 14,
                            "character": 0
                        },
                        "end": {
                            "line": 15,
                            "character": 72
                        }
                    },
                    "childs": [],
                    "id": 4,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Can access properties of generative provider 2",
                    "range": {
                        "start": {
                            "line": 22,
                            "character": 0
                        },
                        "end": {
                            "line": 23,
                            "character": 57
                        }
                    },
                    "childs": [],
                    "id": 7,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Can access properties of generative provider 4",
                    "range": {
                        "start": {
                            "line": 28,
                            "character": 0
                        },
                        "end": {
                            "line": 29,
                            "character": 57
                        }
                    },
                    "childs": [],
                    "id": 8,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                }
            ],
            "id": 1,
            "list": true,
            "moduleType": "Module",
            "type": "NUnit"
        }
    ]
}


[Trace - 1:28:20 PM] Received response 'textDocument/documentSymbol - (31)' in 7ms.
Result: [
    {
        "name": "Generative2",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 19,
                    "character": 5
                },
                "end": {
                    "line": 19,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "Generative4",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 20,
                    "character": 5
                },
                "end": {
                    "line": 20,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "LemonadeProviderTests",
        "kind": 2,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        }
    },
    {
        "name": "Can access properties of generative provider 2",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 23,
                    "character": 4
                },
                "end": {
                    "line": 26,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Can access properties of generative provider 4",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 29,
                    "character": 4
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Constructor with parameter should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 11,
                    "character": 4
                },
                "end": {
                    "line": 12,
                    "character": 69
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Default constructor should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 7,
                    "character": 4
                },
                "end": {
                    "line": 8,
                    "character": 68
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Method with ReflectedDefinition parameter should get its name",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 15,
                    "character": 4
                },
                "end": {
                    "line": 17,
                    "character": 61
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    }
]


[Trace - 1:28:20 PM] Sending request 'textDocument/semanticTokens/range - (32)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    }
}


[13:28:20.881 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentSemanticTokensRange request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "$type": "SemanticTokensRangeParams"}
[Trace - 1:28:20 PM] Sending request 'textDocument/inlayHint - (33)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    }
}


[13:28:20.995 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentInlayHint Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "$type": "InlayHintParams"}
[Trace - 1:28:20 PM] Sending request 'textDocument/documentSymbol - (34)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:21.000 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentDocumentSymbol Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "DocumentSymbolParams"}
[Trace - 1:28:21 PM] Received response 'textDocument/documentSymbol - (34)' in 2ms.
Result: [
    {
        "name": "Generative2",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 19,
                    "character": 5
                },
                "end": {
                    "line": 19,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "Generative4",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 20,
                    "character": 5
                },
                "end": {
                    "line": 20,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "LemonadeProviderTests",
        "kind": 2,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        }
    },
    {
        "name": "Can access properties of generative provider 2",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 23,
                    "character": 4
                },
                "end": {
                    "line": 26,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Can access properties of generative provider 4",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 29,
                    "character": 4
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Constructor with parameter should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 11,
                    "character": 4
                },
                "end": {
                    "line": 12,
                    "character": 69
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Default constructor should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 7,
                    "character": 4
                },
                "end": {
                    "line": 8,
                    "character": 68
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Method with ReflectedDefinition parameter should get its name",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 15,
                    "character": 4
                },
                "end": {
                    "line": 17,
                    "character": 61
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    }
]


[Trace - 1:28:21 PM] Sending request 'textDocument/foldingRange - (35)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:21.270 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentFoldingRange Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "FoldingRangeParams"}
[Trace - 1:28:21 PM] Received response 'textDocument/foldingRange - (35)' in 21ms.
Result: [
    {
        "startLine": 0,
        "startCharacter": 28,
        "endLine": 34,
        "endCharacter": 44
    },
    {
        "startLine": 2,
        "startCharacter": 0,
        "endLine": 4,
        "endCharacter": 27,
        "kind": "imports"
    },
    {
        "startLine": 7,
        "startCharacter": 53,
        "endLine": 8,
        "endCharacter": 68
    },
    {
        "startLine": 11,
        "startCharacter": 60,
        "endLine": 12,
        "endCharacter": 69
    },
    {
        "startLine": 15,
        "startCharacter": 72,
        "endLine": 17,
        "endCharacter": 61
    },
    {
        "startLine": 23,
        "startCharacter": 57,
        "endLine": 26,
        "endCharacter": 44
    },
    {
        "startLine": 29,
        "startCharacter": 57,
        "endLine": 34,
        "endCharacter": 44
    }
]


[Trace - 1:28:22 PM] Sending request 'textDocument/codeLens - (36)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:22.028 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeLens Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "CodeLensParams"}
[Trace - 1:28:22 PM] Received response 'textDocument/codeLens - (36)' in 2ms.
Result: []


[Trace - 1:28:22 PM] Sending request 'textDocument/semanticTokens/full - (37)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}


[13:28:22.358 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentSemanticTokensFull request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "SemanticTokensParams"}
[13:28:26.962 INF] [Checker] ParseAndCheckFileInProject - "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs" completed successfully
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Typecheck completed successfully for /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs started
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - [{"Name": "LemonadeProviderTests", "Range": {"$type": "Rng"}, "Childs": [{"Name": "Default constructor should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 2, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Constructor with parameter should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 3, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Method with ReflectedDefinition parameter should get its name", "Range": {"$type": "Rng"}, "Childs": [], "Id": 4, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 2", "Range": {"$type": "Rng"}, "Childs": [], "Id": 7, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 4", "Range": {"$type": "Rng"}, "Childs": [], "Id": 8, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}], "Id": 1, "List": true, "ModuleType": "Module", "Type": "NUnit", "$type": "TestAdapterEntry`1"}]
[13:28:26.965 INF] [FsAutoComplete.Lsp.AdaptiveState] SendDiag for file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs: 0 entries

Checklist

  • I have looked through existing issues to make sure that this bug has not been reported before
  • I have provided a descriptive title for this issue
  • I have made sure that that this bug is reproducible on the latest version of the package
  • I have provided all the information needed to reproduce this bug as efficiently as possible
  • I or my company would be willing to contribute this fix
@MrLuje MrLuje added the bug label Jun 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@MrLuje