Skip to content

Make join(None, T) produce Optional[T] in strict-optional - #1999

Merged
gvanrossum merged 2 commits into
masterfrom
join-none-optional
Aug 8, 2016
Merged

gvanrossum merged 2 commits into
masterfrom
join-none-optional

Conversation

@ddfisher

@ddfisher ddfisher commented Aug 8, 2016 •

Copy link
Copy Markdown
Collaborator

Fixes #1820.

Comment thread mypy/join.py Outdated
return t.accept(TypeJoinVisitor(s))



Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

You should never need three blank lines.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Oops! That was accidental. As they say, "0.002K blank lines ought to be enough for anybody".

@gvanrossum
gvanrossum merged commit d83aece into master Aug 8, 2016
@gvanrossum
gvanrossum deleted the join-none-optional branch August 8, 2016 23:27
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