Skip to content

Corrected a typo in the online documentation for Programmatic Structural Types #3053

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

Closed
wants to merge 37 commits into from

Conversation

raymondtay
Copy link
Contributor

No description provided.

raymondtay and others added 7 commits December 22, 2016 23:01
Copy link
Member

@dottybot dottybot left a comment

Choose a reason for hiding this comment

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

Hello, and thank you for opening this PR! 🎉

All contributors have signed the CLA, thank you! ❤️

Have an awesome day! ☀️

@allanrenucci
Copy link
Contributor

Hi @raymondtay . Can you rebase on top of master. We updated the CI

Fix scala#2964: Refresh names for anonymous classes
…asses

Implement value classes with phantom parameters
fix scala#2996: remove useless Makefile in distributed archive
allanrenucci and others added 9 commits September 5, 2017 18:38
When bootstrapping with -Yno-inline, Tokens failied to initialize
because the length `maxToken` in `tokenString` was still 0. Changing
a `val` to a `def` fixes that. This is a nice demonstration that the
initialization rules are non-intuitive - we get bitten by them ourselves!
Fix initialization vulnerability in Scanner
Simplify dist project definitions
@raymondtay
Copy link
Contributor Author

Thanks @allanrenucci !

@odersky
Copy link
Contributor

odersky commented Sep 8, 2017

@raymondtay Thanks for the fix! LGTM.

@odersky
Copy link
Contributor

odersky commented Sep 8, 2017

@allanrenucci I leave for you to merge as I am not sure whether the .yml is up to date.

@allanrenucci allanrenucci mentioned this pull request Sep 8, 2017
@allanrenucci
Copy link
Contributor

Superseded by #3086

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.

7 participants