Jon Ross-Perkins

Regarding `extern library`, I'm primarily concerned about the verbosity. I'd expect library names to typically be fairly long, similar to `#include`'s in C++, although somewhat reduced due to the package...

@chandlerc For the proposal, can you please provide the rationale for why leads are choosing `extern library "..."`?

Okay, I'll try to figure out how to map this to project goals.

Sorry, one point of clarification... Is this allowed: ``` library "a"; // The existence of `extern library` is not required. // This is the version that requires direct imports. extern...

> > I'm not familiar with #3848, and I'm having trouble loading it because it has merge errors. > > I believe the PR is only intending to add [its...