From 51c8485106a80460c76e0908ae430ad88b5edc92 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 5ce15ce0769..32e16371ac2 100644 --- a/src/fsharp/CheckExpressions.fs +++ b/src/fsharp/CheckExpressions.fs @@ -5381,7 +5381,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) ->