tools/spec: remove unused enqueue_type function
This commit is contained in:
parent
05867df536
commit
44edf5d00e
@ -880,26 +880,8 @@ def write_dispatch(path:str, q):
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
def enqueue_type(name:str, queued:Set[str], types:Dict[str,type]):
|
|
||||||
if name in queued:
|
|
||||||
return []
|
|
||||||
|
|
||||||
result = []
|
|
||||||
obj = types[name]
|
|
||||||
|
|
||||||
for d in obj.depends:
|
|
||||||
if d == name:
|
|
||||||
continue
|
|
||||||
result += enqueue_type(name=d, queued=queued, types=types)
|
|
||||||
|
|
||||||
assert name not in queued
|
|
||||||
queued.add(name)
|
|
||||||
result += [obj]
|
|
||||||
|
|
||||||
return result
|
|
||||||
|
|
||||||
|
|
||||||
import argparse
|
import argparse
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user