Add GetTypeOfExpression support for long ident expressions (#6)

auduchinok · Mar 18, 2021 · dedc9fb · dedc9fb
1 parent d4782bf
commit dedc9fb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/fsharp/CheckExpressions.fs b/src/fsharp/CheckExpressions.fs
@@ -5356,7 +5356,9 @@ and TcExprThen cenv overallTy env tpenv synExpr delayed =
         // Check to see if pattern translation decided to use an alternative identifier.
         match altNameRefCellOpt with 
         | Some {contents = SynSimplePatAlternativeIdInfo.Decided altId} -> TcExprThen cenv overallTy env tpenv (SynExpr.LongIdent (isOpt, LongIdentWithDots([altId], []), None, mLongId)) delayed
-        | _ -> TcLongIdentThen cenv overallTy env tpenv longId delayed
+        | _ ->
+            CallExprHasTypeSink cenv.tcSink (mLongId, env.NameEnv, overallTy, env.AccessRights)
+            TcLongIdentThen cenv overallTy env tpenv longId delayed
 
     // f x
     | SynExpr.App (hpa, _, func, arg, mFuncAndArg) ->