Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Split a.b.c #209

Closed
wants to merge 1 commit into from
Closed

Split a.b.c #209

wants to merge 1 commit into from

Conversation

espindola
Copy link

Having find_final_def return the final expression was too cumbersome, but returning the dot where to split should work ok.

Unfortunately all interesting tests still fail in typecheck, so I was only able to test this by logging the path size and manually trying it on some examples.

@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

Integrated. Thanks.

arielb1 pushed a commit to arielb1/rust that referenced this pull request Apr 10, 2015
oli-obk added a commit to oli-obk/rust that referenced this pull request Jul 19, 2017
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this pull request Dec 12, 2017
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this pull request Mar 7, 2023
This pull request was closed.
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.

None yet

3 participants