Skip to content

Add code tabs to type checker page #2726

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

Merged
merged 4 commits into from
Mar 10, 2023
Merged

Conversation

Dedelweiss
Copy link
Contributor

@Dedelweiss Dedelweiss commented Mar 8, 2023

Here is my PR to add code tabs to the type checker page

Ref: #2481

@Dedelweiss Dedelweiss changed the title Add code tabs to contextual abstractions page Add code tabs to type checker page Mar 8, 2023
Copy link
Contributor

@julienrf julienrf left a comment

Choose a reason for hiding this comment

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

Hey @Dedelweiss, thank you for all these PRs.

I started reviewing but I see that you not only added code tabs, but you also changed other things. I think in this page (and in the other pages about the migration from Scala 2 to Scala 3), we should keep the {% highlight diff %} sections because they show clearly the steps to make Scala 2 code compile with Scala 3. Could you please restore these sections?

@Dedelweiss Dedelweiss requested a review from julienrf March 9, 2023 16:27
Copy link
Contributor

@julienrf julienrf left a comment

Choose a reason for hiding this comment

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

Thank you Lucas, this looks much better! I’ve noticed a couple of minor issues to fix and then we will be good to merge.

- Change the spelling of the sentence line 35
- Change the tab line 122 to Scala 2 and 3
- Put the sentence line 129 outside the tab
@Dedelweiss Dedelweiss requested a review from julienrf March 10, 2023 09:21
Copy link
Contributor

@julienrf julienrf left a comment

Choose a reason for hiding this comment

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

Thank you Lucas!

@julienrf julienrf merged commit 741cd99 into scala:main Mar 10, 2023
@Dedelweiss Dedelweiss deleted the type_checker branch March 15, 2023 13:52
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants