File tree Expand file tree Collapse file tree 2 files changed +10
-6
lines changed
Expand file tree Collapse file tree 2 files changed +10
-6
lines changed Original file line number Diff line number Diff line change @@ -987,12 +987,8 @@ predicate HsSearchByLowerCaseName:
987987 name: string,
988988 entity: code.Entity,
989989 }
990- { Name, Entity } where
991- (
992- hs.DefinitionNameLowerCase { Name, hs.DefinitionName NameCase }
993- # later: other kinds of definition
994- );
995- HsSearchByName { NameCase, Entity };
990+ { Name, { hs = E } } where
991+ search.hs.SearchByLowerCaseName { name = Name, entity = E }
996992
997993predicate ErlangSearchByName:
998994 {
Original file line number Diff line number Diff line change @@ -10,4 +10,12 @@ schema search.hs.9 {
1010 entity: code.hs.Entity,
1111 } { Name, Entity } where Entity.occ.name = Name;
1212
13+ predicate SearchByLowerCaseName:
14+ {
15+ name: string,
16+ entity: code.hs.Entity,
17+ } { Name, Entity } where
18+ hs.OccNameLowerCase { Name, Occ };
19+ Entity.occ = Occ;
20+
1321}
You can’t perform that action at this time.
0 commit comments