Skip to content

Lack of error from language service masks build error in error list #6036

Description

@cartermp

Use #6035, noting that there is nothing in the Error List by default (Build + IntelliSense).

Now build the project, noting that it fails. Look at the error list:

image

Now switch to "Build only":

image

The expectation is that for Build + IntelliSense, you'd see the FS0247 error.

Activity

  1. added this to the 16.0 milestone on Dec 19, 2018
  2. modified the milestones: 16.0, 16.1 on Feb 21, 2019
  3. modified the milestones: 16.1, 16.2 on Apr 23, 2019
  4. modified the milestones: 16.2, Backlog on Apr 30, 2019
  5. added
    Impact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.
    on Aug 26, 2020
  6. added
    Impact-Medium(Internal MS Team use only) Describes an issue with moderate impact on existing code.
    and removed
    Impact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.
    on Apr 5, 2022
  7. dsyme commented on Apr 5, 2022

    @dsyme
    Contributor

    This is actually a pretty significant bug. Even in F# 2.0 a failure in correct diagnostic list unification between intellisense and build diagnostics would have been considered a high-priority bug.

    I think I've seen often too (Since about VS2015 I've learned not to trust the "Build + Intellisense" to show me build errors)

  8. github-actions commented on Oct 6, 2026

    @github-actions
    Contributor

    🤖 This is an automated response from Repo Assist.

    This is not Windows-only: the diagnostic source is FSharp.Compiler.Service project checking, which is cross-platform. I removed AI-thinks-windows-only.

    I rebuilt from 0dee96c8c6b15aa1afdb866c4d3b498579528d77 (2026-10-06). The fresh FSI reports 15.2.200.0 for F# 11.2, FSharp.Core 11.0.0.0, and .NET 11.0.0-rc.1.26420.103. Using the freshly produced FCS assembly, I ran FSharpChecker.ParseAndCheckProject on the exact two-file repro from #6035. It now returns:

    FS0247 The name 'A.B' is used as both a namespace and a module in this assembly. Rename one of them to avoid the conflict.
    

    The missing IntelliSense diagnostic therefore no longer reproduces, so I applied AI-thinks-issue-fixed. I am adding an FCS regression test that checks this project-level diagnostic directly.

    Warning

    Firewall blocked 1 domain

    The following domain was blocked by the firewall during workflow execution:

    • southcentralus0.in.applicationinsights.azure.com

    To allow these domains, add them to the network.allowed list in your workflow frontmatter:

    network:
      allowed:
        - defaults
        - "southcentralus0.in.applicationinsights.azure.com"

    See Network Configuration for more information.

    Generated by 🌈 Repo Assist, see workflow run. Learn more.

    Add this agentic workflows to your repo

    To install this agentic workflow, run

    gh aw add githubnext/agentics/workflows/repo-assist.md@7c7feb61a52b662eb2089aa2945588b7a200d404
    
  9. github-actions commented on Oct 6, 2026

    @github-actions
    Contributor

    🤖 This is an automated response from Regression PR Shepherd.

    Issue still reproduces. Regression test in #20706 confirms it: with the transparent compiler enabled, ParseAndCheckProject returns no diagnostics and Array.exactlyOne fails with The input sequence was empty. Apologies for the incorrect label.

    Warning

    Firewall blocked 2 domains

    The following domains were blocked by the firewall during workflow execution:

    • dev.azure.com
    • southcentralus0.in.applicationinsights.azure.com

    To allow these domains, add them to the network.allowed list in your workflow frontmatter:

    network:
      allowed:
        - defaults
        - "dev.azure.com"
        - "southcentralus0.in.applicationinsights.azure.com"

    See Network Configuration for more information.

    Generated by Regression PR Shepherd · gpt56 3M · ◷

  10. added a commit that references this issue on Oct 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Area-LangService-DiagnosticsFCS code analysis, diagnostics, red squiggliesBugImpact-Medium(Internal MS Team use only) Describes an issue with moderate impact on existing code.

    Type

    Projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions