From 5a2be0df3fe2a30650cb450636512b14943264db Mon Sep 17 00:00:00 2001 From: Javier Sagredo Date: Thu, 7 May 2026 00:10:50 +0200 Subject: [PATCH] Relabel "needs Foo" superclass edges to "superclass needed Foo" MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit 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) --- data/viewer.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/viewer.js b/data/viewer.js index 757e9b0..85fd532 100644 --- 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) { -- 2.54.0