suggest using .[] insteaed of [] if [] are actually present only

isaacabraham · May 31, 2017 · 12deda4 · 12deda4
1 parent 00217e7
commit 12deda4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
@@ -8220,9 +8220,9 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
                 propagate delayedList' mExprAndArg resultTy 
             | None -> 
                 let mArg = arg.Range
-                match arg with 
+                match arg with
                 | SynExpr.CompExpr _ -> ()
-                | _ -> 
+                | SynExpr.ArrayOrListOfSeqExpr _ ->
                     // 'delayed' is about to be dropped on the floor, first do rudimentary checking to get name resolutions in its body
                     RecordNameAndTypeResolutions_IdeallyWithoutHavingOtherEffects_Delayed cenv env tpenv delayed
 
@@ -8241,6 +8241,8 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
                         | _ -> false
 
                     error (NotAFunction(denv,overallTy,flag,mExpr,mArg)) 
+                | _ -> 
+                    error (NotAFunction(denv,overallTy,false,mExpr,mArg)) 
 
     propagate delayed expr.Range exprty