Skip to content
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

Generate only es6 #3400

Open
1 of 2 tasks
srghma opened this issue Oct 19, 2024 · 1 comment
Open
1 of 2 tasks

Generate only es6 #3400

srghma opened this issue Oct 19, 2024 · 1 comment
Labels
Feature request

Comments

@srghma
Copy link

srghma commented Oct 19, 2024 •
edited
Loading

  • I have read CONTRIBUTING.md.
  • I have checked that there is no existing PR/issue about my proposal.

Summary

Let's allow to generate only es6 code

Motivation

The purescript team moved from common cjs to es6, now purescript can generate only es6. And then they use tools like esbuild or vite to transform es6 to whatever

Why? Because require is not pure, but import export is, thus es6 allows to remove dead code
@srghma

This comment was marked as abuse.

Sign in to view
srghma added a commit to srghma/Idris2 that referenced this issue Nov 15, 2024
@srghma
feat(idris-lang#3400): generate only es6 -> implement, but not tested…
60e8f4f 
… on libraries
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Feature request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@srghma