Skip to content

fix jsoo_refmt_main + delete playground folder #4395

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 17, 2020
Merged

fix jsoo_refmt_main + delete playground folder #4395

merged 1 commit into from
May 17, 2020

Conversation

@jchavarri
Copy link
Contributor

  • ports recent removals of shake_compiler etc into jsoo_refmt_main, which was failing to compile due to Bs_builtin_ppx.rewrite_implementation not being found
  • removes playground folder as it's not needed any more
@jchavarri jchavarri mentioned this pull request May 16, 2020
Merged
@bobzhang bobzhang merged commit 49698c1 into rescript-lang:master May 17, 2020
@jchavarri jchavarri deleted the fix-jsoo-remt branch April 6, 2021 14:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@jchavarri @bobzhang