effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Add feature flags `jsNode` and `jsWeb`

Open marzipankaiser opened this issue 9 months ago • 5 comments

Currently distinguished by the Backend creating the JavaScript generator object (backend). Untested.

marzipankaiser avatar May 07 '24 14:05 marzipankaiser

@jiribenes I vaguely remember you needed to change some things in the js code for your presentation tool - What was that again? We could integrate those changes here for the JSWeb backend.

marzipankaiser avatar May 28 '24 08:05 marzipankaiser

This is related to #405: When introducing a js-web backend, we should have js code that can run in the browser.

marzipankaiser avatar May 28 '24 08:05 marzipankaiser

Maybe this also needs to be changed, when merging this PR: http://effekt-lang.org/docs/getting-started#compiling-programs-with-effekt

b-studios avatar Jun 27 '24 15:06 b-studios

Maybe this also needs to be changed, when merging this PR: http://effekt-lang.org/docs/getting-started#compiling-programs-with-effekt

This should remain unchanged - apart from some names in code, the js (node) backend stays the same. That is, unless we want to also say something about js-web.

marzipankaiser avatar Jun 28 '24 07:06 marzipankaiser

Marking this as ready for review. - While interrelated to #511, the hotfix works for now™️ and this could be merged first. Then, we could also start adjusting the stdlib where appropriate.

marzipankaiser avatar Jun 28 '24 07:06 marzipankaiser