Skip to content

StackOverflow typecheking code with some SRTPs #18901

@majocha

Description

@majocha

Unfortunately, I don't have a very small repro.

Send this gist to fsi. It will stack overflow with endless loop in FSharp.Compiler.TypedTreeOps.accFreeInTypes

Image

Comment out line 274:

member inline this.Bind(awaitable: Awaitable<_, _, _>, continuation) = this.Bind(awaitable.GetAwaiter(), continuation)

and it will be fine again.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Area-Compiler-CheckingType checking, attributes and all aspects of logic checkingArea-Compiler-StateMachinesSequence, list, task and other state machine compilationBug

    Type

    Projects

    Status

    New

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions