Internal error FS0073: Undefined or unsolved type variable: 'TRange when compile in Release mode about fsharp HOT 4 CLOSED

minified repro

type Class1() =

    static member A(a: 'a) = ()
    static member B(rng: 'b) =
        let rec go a =
            if a then go a
            else <@@ rng  @@>
        1

from fsharp.

@vladima discussed with me that the underlying cause is the reallocation of the reference cell in the Expr.Quote node by the "instExpr" operation inside ChooseTyparSolutionsForFreeChoiceTypars. This means "check.fs" doesn't correctly fill in the AST value of the quotation for the untyped quotation.

| Expr.Quote (a,{contents=None},isFromQueryExpression,m,ty) ->  
    Expr.Quote (remapExpr g (fixValCopyFlagForQuotations compgen) tmenv a,{contents=None},isFromQueryExpression,m,remapType tmenv ty)

I believe this node should not be reallocated in this pass. I suggest adding a new flag CloneAllKeepReferenceCells to ValCopyFlag:

type ValCopyFlag = 
    | CloneAll
    | CloneAllKeepReferenceCells  <-- add this
    | CloneAllAndMarkExprValsAsCompilerGenerated
    | OnlyCloneExprVals

and adding a boolean flag into instExpr and ChooseTyparSolutionsForFreeChoiceTypars which activates this flag, and returning the original reference cell when this flag is active

| Expr.Quote (a,({contents=None} as origRefCell),isFromQueryExpression,m,ty) ->  

We may have to review additional code paths at the callers to these two functions, though initially assume that the flag doesn't have to be set on any other code paths.

Cheers
Don

from fsharp.

unfortunately after a deeper look this approach will not work. If ref cell is not reallocated then after running check phase on the node produced by instExpr then it might be filled with transient data that does not match the rest of the tree. i.e if instExpr can copy some Val and this Val is captured in quotation then ref cell will save information about this copied Val and this will cause crash on other compilation steps later. As an option we can extract code that creates quotations from the check into the separate phase so it will always use consistent view of the tree

from fsharp.

Has been fixed.

from fsharp.