Commit12deda4

committed

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

1 parent00217e7 commit12deda4Copy full SHA for 12deda4

File tree

-2

lines changed

-2

lines changed

Lines changed: 4 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -8220,9 +8220,9 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =`
`8220`	`8220`	`propagate delayedList' mExprAndArg resultTy`
`8221`	`8221`	`\| None ->`
`8222`	`8222`	`let mArg = arg.Range`
`8223`		`- match arg with`
	`8223`	`+ match arg with`
`8224`	`8224`	`\| SynExpr.CompExpr _ -> ()`
`8225`		`- \| _ ->`
	`8225`	`+ \|SynExpr.ArrayOrListOfSeqExpr_ ->`
`8226`	`8226`	`// 'delayed' is about to be dropped on the floor, first do rudimentary checking to get name resolutions in its body`
`8227`	`8227`	`RecordNameAndTypeResolutions_IdeallyWithoutHavingOtherEffects_Delayed cenv env tpenv delayed`
`8228`	`8228`
`@@ -8241,6 +8241,8 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =`
`8241`	`8241`	`\| _ -> false`
`8242`	`8242`
`8243`	`8243`	`error (NotAFunction(denv,overallTy,flag,mExpr,mArg))`
	`8244`	`+ \| _ ->`
	`8245`	`+ error (NotAFunction(denv,overallTy,false,mExpr,mArg))`
`8244`	`8246`
`8245`	`8247`	`propagate delayed expr.Range exprty`
`8246`	`8248`

Comments

(0)