Relabel "needs Foo" superclass edges to "superclass needed Foo"

The plain "needs Foo …" edge label in the instance view glossed
which kind of constraint we were displaying (context vs. superclass
vs. ambient). Make it explicit: this edge represents a *superclass*
requirement.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

diff --git a/data/viewer.js b/data/viewer.js
index 757e9b0fa4211259e80dbeaf015996217ab6bf79..85fd532286ce0d30660e4276b23a94e107b52352 100644 (file)
--- a/data/viewer.js
+++ b/data/viewer.js
@@ -782,7 +782,7 @@
         const reqArgs = subbedArgs.map(reduceTypeArg);
         const matched = findMatchingInstances(sc.seSuperclass, reqArgs);
         const scClsId = ensureClassNode(sc.seSuperclass);
-        const reqLabel = 'needs ' + sc.seSuperclass.qnName + ' ' +
+        const reqLabel = 'superclass needed ' + sc.seSuperclass.qnName + ' ' +
           renderArgsCompact(reqArgs, inst.iiTyVars);
 
         if (matched.length === 0) {