Commit707fac8

committed

Extract function

1 parent027f97b commit707fac8Copy full SHA for 707fac8

File tree

+12

-12

lines changed

+12

-12

lines changed

Lines changed: 11 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -155,6 +155,17 @@ let GetImmediateIntrinsicPropInfosOfType (optFilter,ad) g amap m typ =`
`155`	`155`	`letpinfos= pinfos\|> List.filter(IsPropInfoAccessible g amap m ad)`
`156`	`156`	`pinfos`
`157`	`157`
	`158`	`+// Checks whether the given type has an indexer property.`
	`159`	`+letIsIndexerType g amap typ=`
	`160`	`+ isArray1DTy g typ\|\|`
	`161`	`+ isListTy g typ\|\|`
	`162`	`+match tryDestAppTy g typwith`
	`163`	`+\| Some tcref->`
	`164`	`+let_,entityTy= generalizeTyconRef tcref`
	`165`	`+letprops= GetImmediateIntrinsicPropInfosOfType(None, AccessibleFromSomeFSharpCode) g amap range0 entityTy`
	`166`	`+ props\|> List.exists(fun x-> x.PropertyName="Item")`
	`167`	`+\|_->false`
	`168`	`+`
`158`	`169`
`159`	`170`	`/// Sets of methods up the hierarchy, ignoring duplicates by name and sig.`
`160`	`171`	`/// Used to collect sets of virtual methods, protected methods, protected`

Lines changed: 1 addition & 12 deletions

Original file line number	Diff line number	Diff line change
`@@ -8225,18 +8225,7 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =`
`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`		`-`
`8229`		`- let flag =`
`8230`		`- let typ = expr.Type`
`8231`		`- isArray1DTy cenv.g typ \|\|`
`8232`		`- if isAppTy cenv.g typ then`
`8233`		`- let tcref = tcrefOfAppTy cenv.g typ`
`8234`		`- let _, entityTy = generalizeTyconRef tcref`
`8235`		`- let props = GetImmediateIntrinsicPropInfosOfType (None, AccessibleFromSomeFSharpCode) cenv.g cenv.amap range0 entityTy`
`8236`		`- props \|> List.exists (fun x -> x.PropertyName = "Item")`
`8237`		`- else false`
`8238`		`-`
`8239`		`- error (NotAFunction(denv,overallTy,flag,mExpr,mArg))`
	`8228`	`+ error (NotAFunction(denv,overallTy,IsIndexerType cenv.g cenv.amap expr.Type,mExpr,mArg))`
`8240`	`8229`	`\| _ ->`
`8241`	`8230`	`// 'delayed' is about to be dropped on the floor, first do rudimentary checking to get name resolutions in its body`
`8242`	`8231`	`RecordNameAndTypeResolutions_IdeallyWithoutHavingOtherEffects_Delayed cenv env tpenv delayed`

Comments

(0)