Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

ir: Give more info for the non-floating type complex type message. #1222

Closed
wants to merge 1 commit into from
Closed

ir: Give more info for the non-floating type complex type message. #1222

wants to merge 1 commit into from

Conversation

emilio
Copy link
Contributor

@emilio emilio commented Jan 16, 2018

To help debug #1087.

@emilio
Copy link
Contributor Author

emilio commented Jan 16, 2018

r? @fitzgen or @pepyakin

@emilio emilio mentioned this pull request Jan 16, 2018
Closed
@fitzgen
Copy link
Member

fitzgen commented Jan 17, 2018

I don't think this is necessary anymore.

@emilio
Copy link
Contributor Author

emilio commented Jan 17, 2018

Agreed.

@emilio emilio closed this Jan 17, 2018
@emilio emilio deleted the non-floating-type-complex branch January 17, 2018 20:58
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@fitzgen fitzgen

Labels
S-awaiting-review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@emilio @fitzgen @highfive