Convert the node catalog to rank-polymorphic Item and List kernels, materialize stored values as ranked wires, and display wire rank in the graph

This commit is contained in:
Keavon Chambers
2026-09-10 18:26:52 +00:00
committed by Dennis Kobert
parent ead622b969
commit 8bddd5680b
46 changed files with 1281 additions and 456 deletions
+3
View File
@@ -1003,6 +1003,9 @@ impl TypingContext {
/// Returns the inferred types for a given node id.
pub fn infer(&mut self, node_id: NodeId, node: &ProtoNode) -> Result<NodeIOTypes, GraphErrors> {
if node_id == NodeId(3480994800604782060) {
log::error!("PROBE {node_id:?}: identifier={:?} args={:?}", node.identifier, node.construction_args);
}
// Return the inferred type if it is already known
if let Some(inferred) = self.inferred.get(&node_id) {
return Ok(inferred.clone());