Support 'protected abstract' #12281

Activity

1. kostya9

   added

   Bug

   on Oct 19, 2021
2. dsyme commented on Oct 19, 2021

   

   dsyme

   on Oct 19, 2021

   Contributor

   More actions

   That use of with is unusual. Could you try this?

   type SyntaxHighlightingRendererWrapper() =
       inherit CodeBlockRenderer()
       let highlightingRenderer = HighlightedCodeBlockRenderer()
   
       override _.Write(renderer: HtmlRenderer, codeBlock: CodeBlock): unit =
           highlightingRenderer.Write(renderer, codeBlock)

   I think the issue is related to protected - Could you link the exact definitions of the virtual Write method please?
3. kostya9 commented on Oct 22, 2021

   

   kostya9

   on Oct 22, 2021

   Last edited by kostya9

   ContributorAuthor

   More actions

   Sure, tried with the syntax without with, the problem unfortunately persists.

   Overload resolution

   Did some additional investigation.

   With the Write inlined, the overload taken is

   override HighlightedCodeBlockRenderer.Write : renderer:HtmlRenderer * cb:CodeBlock -> unit

   With the Write in a separate render function, the overload is:

   MarkdownObjectRenderer.Write(renderer: RendererBase, obj: MarkdownObject) : unit

   Seems like the overload resolution somehow changes depending on the context?

   Method in inheritance hierarchy

   Here are the exact definitions of the Write method in the inheritance hierarchy:

   HighlightedCodeBlockRenderer

   override __.Write(renderer : HtmlRenderer, cb : CodeBlock)

   inherits from CodeBlockRenderer

   protected override void Write(HtmlRenderer renderer, CodeBlock obj)

   inherits from HtmlObjectRenderer<CodeBlock>
   inherits from MarkdownObjectRenderer<HtmlRenderer, TObject> where TObject : MarkdownObject

   public virtual void Write(RendererBase renderer, MarkdownObject obj);
   protected abstract void Write(TRenderer renderer, TObject obj);
4. dsyme

   added

   Area-Compiler

   Impact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.

   Impact-Medium(Internal MS Team use only) Describes an issue with moderate impact on existing code.(Internal MS Team use only) Describes an issue with moderate impact on existing code.

   and removed

   Impact-Medium(Internal MS Team use only) Describes an issue with moderate impact on existing code.(Internal MS Team use only) Describes an issue with moderate impact on existing code.

   on Mar 3, 2022
5. dsyme

   changed the title [-]Compilation Error - Inaccessible method[/-] [+]Support 'protected abstract'[/+] on Apr 5, 2022
6. dsyme

   added

   Area-Compiler-ImportAndInteropimport of .NET DLLs and interopimport of .NET DLLs and interop

   and removed

   Area-Compiler

   on Apr 5, 2022
7. vzarytovskii

   added this to F# Compiler and Toolingon Jun 17, 2022
8. vzarytovskii

   moved this to Not Planned in F# Compiler and Toolingon Jun 17, 2022
9. vzarytovskii

   added this to the Backlog milestone on Oct 19, 2022
10. github-actions commented on Oct 9, 2026

    

    github-actionsbot

    on Oct 9, 2026 – with GitHub Actions

    Contributor

    More actions

    🤖 This is an automated response from Repo Assist.

    I reproduced this on current main at fc10369a668762034e27b82451f469321d878009 (commit timestamp 2026-10-08 15:17:21 UTC, about 10 hours old at test time). The repository-built FSI reports:

    Microsoft (R) F# Interactive version 15.2.200.0 for F# 11.2
    Language Version: 11.2
    FSharp.Core: 11.0.0.0
    .NET: .NET 11.0.0-rc.1.26420.103
    

    Using MarkdigExtensions.SyntaxHighlighting 1.0.3 and the issue reproduction unchanged, I compiled with the repository-built artifacts/bin/fsc/Proto/net11.0/linux-x64/fsc.dll. It still fails at highlightingRenderer.Write(renderer, codeBlock):

    Program.fs(12,30): error FS0629: Method 'Write' is not accessible from this code location
    

    The extracted-function workaround still distinguishes the scenario described here, so the original protected-overload accessibility issue remains reproducible on the latest compiler.

    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