Warning FS0073: internal error: Typar not found during XmlDoc generation about fsharp HOT 9 CLOSED

I think the code sample is not correctly displayed

from fsharp.

Updated with what I believe is proper formatting (though the original repro is probably not useful given the greatly simplified repro), and a link back to original codeplex bug.

from fsharp.

The foo function still looks strange. Is it really a space between the angle brackets?

from fsharp.

The code is not properly formed, but it does repro the bug. Repro also occurs with more fully-formed code:

let rec foo<'t> c = bar c
and bar c = 0

from fsharp.

Oddly enough, the workaround compiles successfully, even with the (I would think) invalid code < >:

let rec bar c = 0
and foo< > c = bar c

from fsharp.

@forki, foo< > stands for type application with an empty list of type parameters (6.4 Basic application expressions)

from fsharp.

@latkin Hmm... I labelled this as fix ready in May - did the typar check PR fixed this and I just forgot to reference the issue?

from fsharp.

With current codebase, repro here #33 (comment) now fails with test.fs(1,9): error FS3188: Type inference caused an inference type variable to escape its scope. Consider adding type annotations to make your code less generic.

That's better than an ICE but it still doesn't compile.

from fsharp.

That's a sufficient resolution. In that case we can close this.

from fsharp.