Skip to content

AddTypeAnnotationToObjectOfIndetermianteType code fix adds wrong spacing #15810

Closed
#15812
Closed
AddTypeAnnotationToObjectOfIndetermianteType code fix adds wrong spacing#15810
#15812
Assignees
psfinaki
Labels
Area-LangService-CodeFixesCode fixes associated with diagnosticsBugNeeds-Triage
Milestone
August-2023
@psfinaki

Description

@psfinaki
psfinaki
opened on Aug 15, 2023

Consider these two versions of the same code:

let db = 
    [
        {| Name = "Liam"; Id = 2 |}
        {| Name = "Noel"; Id = 3 |}
    ]

let f = List.filter (fun x -> x.Id = 7) db

let db = 
    [
        {| Name = "Liam"; Id = 2 |}
        {| Name = "Noel"; Id = 3 |}
    ]

let f = List.filter (fun (x) -> x.Id = 7) db

image

Applied code fixes lead to different spacing:
image

Accidentally this is more an inconsistency than a bug - but definitely caused by the bug, same cause and treatment as this one

Metadata

Metadata

Assignees

Labels

Area-LangService-CodeFixesCode fixes associated with diagnosticsBugNeeds-Triage

Type

No type

Fields

No fields configured for issues without a type.

Projects

F# Compiler and Tooling

Status

Done

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions