diff --git a/tools/spec.py b/tools/spec.py index 7009af3..6b715fc 100644 --- a/tools/spec.py +++ b/tools/spec.py @@ -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