Skip to content

Conversation

chenglou
Copy link
Member

@chenglou chenglou commented Sep 18, 2020

More compact layout helps with editor plugins' diagnostics display.

Screen Shot 2020-09-18 at 4 52 46 AM

Screen Shot 2020-09-18 at 4 58 15 AM

@chenglou
Copy link
Member Author

This branch is based on #4706 and fixes its test errors at once.

@chenglou chenglou changed the title se [Super errors] Tweak type mismatch to be more compact Sep 18, 2020
@chenglou chenglou mentioned this pull request Sep 18, 2020
@chenglou chenglou merged commit 5e2fc8a into rescript-lang:master Sep 18, 2020
@chenglou chenglou deleted the se branch September 18, 2020 13:40
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.

1 participant