From cb8fc6ad31bbd64bf61372b45d2dc0a4c6ae421a Mon Sep 17 00:00:00 2001 From: Alex Berezhnykh Date: Mon, 27 Jul 2020 18:49:19 +0300 Subject: [PATCH] Add GetTypeOfExpression support for long ident expressions (#6) --- src/fsharp/CheckExpressions.fs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/fsharp/CheckExpressions.fs b/src/fsharp/CheckExpressions.fs index 64800b51cdd..d577d07463b 100644 --- a/src/fsharp/CheckExpressions.fs +++ b/src/fsharp/CheckExpressions.fs @@ -5338,7 +5338,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 = 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) ->