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

SIP minutes: 2020 March 11 #1656

Merged
merged 1 commit into from Mar 12, 2020
Merged

Conversation

@dwijnand
Copy link
Member

dwijnand commented Mar 11, 2020

No description provided.

@dwijnand dwijnand force-pushed the dwijnand:sip-minutes-2020-03-11 branch 2 times, most recently from 86e4b93 to f84f8fe Mar 11, 2020
@dwijnand dwijnand force-pushed the dwijnand:sip-minutes-2020-03-11 branch from f84f8fe to 8b77e5d Mar 11, 2020
@SethTisue

This comment has been minimized.

Copy link
Member

SethTisue commented Mar 12, 2020

CI failure is #1650

@dwijnand

This comment has been minimized.

Copy link
Member Author

dwijnand commented Mar 12, 2020

Does the site publish despite that failure, or does it block it?

@SethTisue

This comment has been minimized.

Copy link
Member

SethTisue commented Mar 12, 2020

good question. offhand I think it publishes anyway?

@dwijnand

This comment has been minimized.

Copy link
Member Author

dwijnand commented Mar 12, 2020

Wanna test it hint, hint?

* Seb: It's a new encoding. Should we support all sorts of methods? It opens an entirely new world.
* Seb: IMO if we do them, we should go all the way, in 1 go. In particular vararg function types, for Scala.js.
* Gui: even with limitations, they're really useful
* Gui: I have a prototype for this

This comment has been minimized.

Copy link
@SethTisue

SethTisue Mar 12, 2020

Member

channeling Elizabeth Warren

@SethTisue SethTisue merged commit 6beb981 into scala:master Mar 12, 2020
1 check failed
1 check failed
continuous-integration/drone/pr the build failed
Details
@dwijnand dwijnand deleted the dwijnand:sip-minutes-2020-03-11 branch Mar 12, 2020
@dwijnand

This comment has been minimized.

Copy link
Member Author

dwijnand commented Mar 12, 2020

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.