[for declin declsdo

match declwith

| SynModuleDecl.Open(longIdentWithDots, range)->

yield(longIdentWithDots.Lid|> List.map(fun l-> l.idText)|> String.concat"."), range

| SynModuleDecl.NestedModule(_,_, decls,_,_)->

yield! visitSynModuleOrNamespaceDecls decls

| SynModuleDecl.Open(LongIdentWithDots.LongIdentWithDots(id= longId), range)->

set[yield(longId|> List.map(fun l-> l.idText)|> String.concat".")

ifnot(List.isEmpty parent)then

yield(parent@ longId|> List.map(fun l-> l.idText)|> String.concat".")], range

| SynModuleDecl.NestedModule(SynComponentInfo.ComponentInfo(longId= longId),_, decls,_,_)->

yield! visitSynModuleOrNamespaceDecls longId decls

| ParsedInput.ImplFile(ParsedImplFileInput(modules= modules))->

[for mdin modulesdo

letSynModuleOrNamespace(decls= decls)= md

yield! visitSynModuleOrNamespaceDecls decls]

letSynModuleOrNamespace(longId= longId;decls= decls)= md

yield! visitSynModuleOrNamespaceDeclslongIddecls]

|> Seq.collect getPossibleNamespaces

|> Set.ofSeq

letnotUsed ns=not(namespacesInUse.Contains ns)|| seenNamespaces.Contains ns

match listwith

|(ns, range):: xswhennotUsed ns->

filterInner((ns, range):: acc) xs(seenNamespaces.Add ns)

|(ns, range):: xswhenns|> Set.forall notUsed->

filterInner((ns, range):: acc) xs(seenNamespaces|> Set.union ns)

|(ns,_):: xs->

filterInner acc xs(seenNamespaces.Add ns)

filterInner acc xs(seenNamespaces|> Set.union ns)

|[]-> List.rev acc

filterInner[] list Set.empty