diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-20 19:06:39 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-20 19:06:39 +0000 |
| commit | fc49c3997ea55962c8f9e7b5b1509ef1aba592b2 (patch) | |
| tree | 6f3f3fe962b6c029c0b656f1f217446b159cd8bf /src/main/java | |
| parent | de82d12a2b929837731a91634603190764b594ef (diff) | |
Remove completed TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java b/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java index bdd1eaf1..2c279691 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java +++ b/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java @@ -23,11 +23,8 @@ public class NamespaceDependencyLineariser { .collect(Collectors.toMap(x -> x.namespaceName(), x -> x)); var seen = new HashSet<NamespaceName>(); - var ordered = new ArrayList<UntypedNamespaceNode>(); - - // TODO: handle missing namespaces - var stack = new ArrayList<NamespaceName>(); + var ordered = new ArrayList<UntypedNamespaceNode>(); var adder = new Object() { private void add(NamespaceName name, Source source) { |
