Skip to content

Conversation

@CodaFi
Copy link
Contributor

@CodaFi CodaFi commented Apr 30, 2020

Now that the foundations are merged, requestify type resolution. I'll eventually use this to migrate all the callers of TypeChecker::validateType once their TypeLocs have been stripped.

@CodaFi
Copy link
Contributor Author

CodaFi commented Apr 30, 2020

@swift-ci test

@CodaFi
Copy link
Contributor Author

CodaFi commented Apr 30, 2020

@swift-ci test source compatibility


void swift::simple_display(llvm::raw_ostream &out,
const TypeResolution *resolution) {
out << "while resolving type ";
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this also print the type?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This definition of simple_display is a layering violation. TypeResolution lives in libSema.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not much more I can do here, I'm afraid. I have no ability to access members.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

simple_display will fire on the adjacent typerepr, so this should render just fine.

@CodaFi
Copy link
Contributor Author

CodaFi commented May 1, 2020

@CodaFi CodaFi merged commit 8280606 into swiftlang:master May 1, 2020
@CodaFi CodaFi deleted the incidental-main-motion branch May 1, 2020 05:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants