What is this issue about? Could you provide more details?
@thangngoc89 this website is not upgraded for a while: https://bucklescript.github.io/bucklescript-playground/
are you ok with me sending a PR upstream changes I've made in nit's playground to bucklescript?
Changes include:
I can make it several PRs if that's what you prefered
@thangngoc89 Yeah, that would be nice.
About changes, small diffs are always preferred, thank you in advance
Since #3976 was merged, following playground features are now in:
Here is a list of major tasks we need to tackle next:
Colocate all important scripts and tools in a toplevel playground directory, also:
playground dir and fix the serialization problems with the most recent JSOOrepl.js BS_PLAYGROUND to ../playground by default (should always succeed without setting up your own playground directory)exports.js and a simple serve instruction (cd playground && python -m SimpleHttpServer) to quickly test changes manuallyrepl.js / Contributing etc.lib/stdlib-402 and all occurrences in the infrastructure?This should be closed in favor of #4450 since things have changed drastically the past few months.
Most helpful comment
Since #3976 was merged, following playground features are now in:
Here is a list of major tasks we need to tackle next:
External lib loading
Playground Tests
Scripts and tools
Colocate all important scripts and tools in a toplevel
playgrounddirectory, also:Copy the cmt / cmj serialization script to the.playgrounddir and fix the serialization problems with the most recent JSOOrepl.jsBS_PLAYGROUND to../playgroundby default (should always succeed without setting up your own playground directory)exports.jsand a simple serve instruction (cd playground && python -m SimpleHttpServer) to quickly test changes manuallyCleanup
repl.js/Contributingetc.lib/stdlib-402and all occurrences in the infrastructure?