The pipeline graphs would be nicer if they linked to the relevant language and passes. However, they're currently generated from graphviz and require a string, rather than an element, label. A solution might require either a native Scribble replacement (sounds bad) or a hack to transform the string into an element after the fact (sounds bad, but possibly less bad).
The pipeline graphs would be nicer if they linked to the relevant language and passes. However, they're currently generated from graphviz and require a string, rather than an element, label. A solution might require either a native Scribble replacement (sounds bad) or a hack to transform the string into an element after the fact (sounds bad, but possibly less bad).