Commit5f2eb3e

committed

fix notUsed logic

1 parent9e51546 commit5f2eb3eCopy full SHA for 5f2eb3e

File tree

+11

-2

lines changed

+11

-2

lines changed

Lines changed: 11 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -145,8 +145,17 @@ module private UnusedOpens =`
`145`	`145`	`let recfilterInner acc(list:OpenStatement list)(seenOpenStatements:OpenStatement list)=`
`146`	`146`
`147`	`147`	`letnotUsed(os:OpenStatement)=`
`148`		`-not(namespacesInUse\|> List.exists(fun nsu-> rangeContainsRange os.ModuleRange nsu.Location&& os.Names\|> Set.contains nsu.Ident))`
`149`		`-\|\| seenOpenStatements\|> List.contains os`
	`148`	`+letnotUsedAnywhere=not(namespacesInUse\|> List.exists(fun nsu-> rangeContainsRange os.ModuleRange nsu.Location&& os.Names\|> Set.contains nsu.Ident))`
	`149`	`+if notUsedAnywherethentrue`
	`150`	`+else`
	`151`	`+letalreadySeen=`
	`152`	`+ seenOpenStatements`
	`153`	`+\|> List.exists(fun seenNs->`
	`154`	`+// if such open statement has already been marked as used in this or outer module, we skip it`
	`155`	`+// (that is, do not mark as used so far)`
	`156`	`+(seenNs.ModuleRange= os.ModuleRange\|\| rangeContainsRange seenNs.ModuleRange os.ModuleRange)&&`
	`157`	`+not(os.Names\|> Set.intersect seenNs.Names\|> Set.isEmpty))`
	`158`	`+ alreadySeen`
`150`	`159`
`151`	`160`	`match listwith`
`152`	`161`	`\| os:: xswhen notUsed os->`

Comments

(0)