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

Fix #5404: Add MatchType to TASTy reflect #5416

Merged
merged 1 commit into from Nov 11, 2018

Conversation

Projects
None yet
2 participants
@nicolasstucki
Copy link
Contributor

nicolasstucki commented Nov 9, 2018

Based on #5398

@nicolasstucki nicolasstucki force-pushed the dotty-staging:fix-#5404-2 branch 2 times, most recently from 00800c8 to cd2b4c1 Nov 9, 2018

@nicolasstucki nicolasstucki requested a review from odersky Nov 9, 2018

@nicolasstucki nicolasstucki force-pushed the dotty-staging:fix-#5404-2 branch from cd2b4c1 to 85517c0 Nov 9, 2018

@odersky
Copy link
Contributor

odersky left a comment

Looks good as far as adding match types is concerned.

@odersky odersky assigned nicolasstucki and unassigned odersky Nov 10, 2018

@nicolasstucki nicolasstucki force-pushed the dotty-staging:fix-#5404-2 branch from 85517c0 to 571cd88 Nov 10, 2018

@nicolasstucki

This comment has been minimized.

Copy link
Contributor

nicolasstucki commented Nov 10, 2018

Rebased

@nicolasstucki nicolasstucki merged commit a043541 into lampepfl:master Nov 11, 2018

2 checks passed

CLA User signed CLA
Details
continuous-integration/drone/pr the build was successful
Details

@nicolasstucki nicolasstucki deleted the dotty-staging:fix-#5404-2 branch Nov 11, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment