Fix expected warnings

dotnet · Nov 24, 2016 · 3b074a8 · 3b074a8
1 parent 612744b
commit 3b074a8
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
@@ -5435,28 +5435,24 @@ and TcExprThen cenv overallTy env tpenv synExpr delayed =
 
     // e<tyargs>
     | SynExpr.TypeApp (func, _, typeArgs, _, _, mTypeArgs, mFuncAndTypeArgs) ->
-        let env = ClearContext env
         TcExprThen cenv overallTy env tpenv func ((DelayedTypeApp (typeArgs, mTypeArgs, mFuncAndTypeArgs)):: delayed)
 
     // e1.id1
     // e1.id1.id2
     // etc.
     | SynExpr.DotGet (e1,_,LongIdentWithDots(longId,_),_) ->
-        let env = ClearContext env
         TcExprThen cenv overallTy env tpenv e1 ((DelayedDotLookup (longId,synExpr.RangeSansAnyExtraDot))::delayed)
 
     // e1.[e2]
     // e1.[e21,...,e2n]
     // etc.
     | SynExpr.DotIndexedGet (e1,e2,mDot,mWholeExpr) ->
-        let env = ClearContext env
         TcIndexerThen cenv env overallTy mWholeExpr mDot tpenv synExpr e1 e2 delayed
 
     // e1.[e2] <- e3
     // e1.[e21,...,e2n] <- e3
     // etc.
     | SynExpr.DotIndexedSet (e1,e2,_,_,mDot,mWholeExpr) ->
-        let env = ClearContext env
         TcIndexerThen cenv env overallTy mWholeExpr mDot tpenv synExpr e1 e2 delayed
 
     | _  ->
@@ -9818,7 +9814,7 @@ and CheckRecursiveBindingIds binds =
 and TcLinearExprs bodyChecker cenv env overallTy tpenv isCompExpr expr cont = 
     match expr with 
     | SynExpr.Sequential (sp,true,e1,e2,m) when not isCompExpr ->
-        let e1',_ = TcStmtThatCantBeCtorBody cenv env tpenv e1
+        let e1',_ = TcStmtThatCantBeCtorBody cenv (ClearContext env) tpenv e1
         // tailcall
         TcLinearExprs bodyChecker cenv env overallTy tpenv isCompExpr e2 (fun (e2',tpenv) -> 
             cont (Expr.Sequential(e1',e2',NormalSeq,sp,m),tpenv))